Pages that link to "Item:Q3283220"
From MaRDI portal
The following pages link to Recursive functions of symbolic expressions and their computation by machine, Part I (Q3283220):
Displayed 42 items.
- Computer theorem proving in mathematics (Q704001) (← links)
- Theory of symbolic expressions. I (Q791311) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← 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)
- 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)
- 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)
- 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)
- Recursive converters on a memory (Q3885193) (← links)
- A portable lisp compiler (Q3920626) (← links)
- Experience with software conversion (Q3925158) (← links)
- Recursive data structures (Q4055171) (← links)
- (Q4109302) (← links)
- Automatic program indentation (Q4155805) (← links)
- Testing equality in lisp-like environments (Q4164785) (← links)
- (Q4171548) (← links)
- Java for high-performance network-based computing: a survey (Q4539923) (← links)
- A category theory for programming languages (Q4772150) (← links)
- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs (Q5191108) (← links)
- Modeling of storage properties of higher-level languages (Q5679694) (← links)