Pages that link to "Item:Q3283220"

The following pages link to Recursive functions of symbolic expressions and their computation by machine, Part I (Q3283220):

Displaying 50 items.

• The reflective Milawa theorem prover is sound (down to the machine code that runs it) (Q286790) (← links)
• A survey of state vectors (Q458456) (← links)
• Structural operational semantics through context-dependent behaviour (Q638568) (← links)
• Computer theorem proving in mathematics (Q704001) (← links)
• N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
• Theory of symbolic expressions. I (Q791311) (← links)
• Closure functions and general iterates as reflectors (Q808275) (← links)
• JEFL: joint embedding of formal proof libraries (Q831932) (← links)
• Directly reflective meta-programming (Q848742) (← links)
• Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
• A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
• Deaccumulation techniques for improving provability (Q882487) (← links)
• External and internal syntax of the \(\lambda \)-calculus (Q968531) (← links)
• Context-sensitive dependency pairs (Q989290) (← links)
• Functional programming with combinators (Q1098628) (← links)
• Parallel scheduling of recursively defined arrays (Q1106656) (← links)
• Metacircularity in the polymorphic \(\lambda\)-calculus (Q1177938) (← links)
• Logical debugging (Q1322853) (← links)
• A \(\pi\)-calculus with explicit substitutions (Q1350998) (← links)
• Term rewriting for normalization by evaluation. (Q1401941) (← links)
• Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
• To every manifest domain a CSP expression -- a rôle for mereology in computer science (Q1683705) (← links)
• Efficient, verified checking of propositional proofs (Q1687744) (← links)
• Distributed quantum programming (Q1761696) (← links)
• A data structure formalization through generating function (Q1844073) (← links)
• Context-sensitive rewriting strategies (Q1854569) (← links)
• Unified selection from lists, arrays, and objects. (Q1872688) (← links)
• GC\(^{2}\): a generational conservative garbage collector for the ATERM library (Q1885928) (← links)
• Linear logic automata (Q1919766) (← links)
• John McCarthy (1927--2011) (Q1941856) (← links)
• An efficient approach to cyclic reference counting based on a coarse-grained search (Q1944025) (← links)
• A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610) (← links)
• Limited second-order functionality in a first-order setting (Q2303245) (← links)
• Equivalence checking of two functional programs using inductive theorem provers (Q2410575) (← links)
• Functional parallel typified language and its implementation on clusters (Q2498279) (← links)
• Algebraic correctness proofs for compiling recursive function definitions with strictness information (Q2502270) (← links)
• N-ary selection functions and formal selective systems. I (Q2541029) (← links)
• The lambda-gamma calculus: A language adequate for defining recursive functions (Q2542069) (← links)
• Reversible computing from a programming language perspective (Q2693633) (← links)
• Implementing compositional analysis using intersection types with expansion variables (Q2842841) (← links)
• Programs=data=first-class citizens in a computational world (Q2941589) (← links)
• When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science (Q2963950) (← links)
• A Verified Runtime for a Verified Theorem Prover (Q3088011) (← links)
• A combinatory account of internal structure (Q3173527) (← links)
• A glimpse into the paradise of combinatory algebra (Q3343428) (← links)
• A Groupoid of Isomorphic Data Transformations (Q3637276) (← links)
• From Reduction-Based to Reduction-Free Normalization (Q3649133) (← links)
• Logic and functional programming by retractions (Q3817574) (← links)
• (Q3869322) (← links)
• (Q3870304) (← links)