The following pages link to (Q3785893):
Displaying 50 items.
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- Categorical ML -- category-theoretic modular programming (Q684395) (← links)
- Comparing Hagino's categorical programming language and typed lambda- calculi (Q685425) (← links)
- On stable domains (Q685428) (← links)
- A note on inconsistencies caused by fixpoints in a cartesian closed category (Q749648) (← links)
- Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic (Q750415) (← links)
- Stability and computability in coherent domains (Q752707) (← links)
- Termination by completion (Q757069) (← links)
- An abstract framework for environment machines (Q804281) (← links)
- Comparison of priority rules in pattern matching and term rewriting (Q808264) (← links)
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- Codatatypes in ML (Q908682) (← links)
- Two-level semantics and abstract interpretation (Q911319) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- Non-deterministic information systems and their domains (Q914401) (← links)
- Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL (Q918956) (← links)
- On the implementation of abstract data types by programming language constructs (Q1089793) (← links)
- Two-level semantics and code generation (Q1095636) (← links)
- The linear abstract machine (Q1105351) (← links)
- Algebra of constructions. I. The word problem for partial algebras (Q1107515) (← links)
- Unique normal forms for lambda calculus with surjective pairing (Q1117204) (← links)
- Church-Rosser theorem for a rewriting system on categorical combinators (Q1119562) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Decidability of the restriction equational theory in the partial lambda calculus (Q1120561) (← links)
- Partiality, cartesian closedness, and toposes (Q1121368) (← links)
- Event structures and domains (Q1124367) (← links)
- A notation for lambda terms. A generalization of environments (Q1129257) (← links)
- On the expansion of non-linear functions (Q1175710) (← links)
- Universal homogeneous event structures and domains (Q1175945) (← links)
- Towards a semantics-based information theory (Q1179806) (← links)
- Quantitative domains and infinitary algebras (Q1185015) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- The chemical abstract machine (Q1190491) (← links)
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic (Q1193588) (← links)
- Towards a theory of parallel algorithms on concrete data structures (Q1194326) (← links)
- Unfolding and fixpoint semantics of concurrent constraint logic programs (Q1200981) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- Stable trace automata vs. full trace automata (Q1276249) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- Context-free event domains are recognizable (Q1286370) (← links)
- Nonexpressibility of fairness and signaling (Q1309386) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Set-theoretical and other elementary models of the \(\lambda\)-calculus (Q1314361) (← links)
- Eta-conversion for the languages of explicit substitutions (Q1335136) (← links)
- Stability, sequentiality and demand driven evaluation in dataflow (Q1346605) (← links)
- Labelled domains and automata with concurrency (Q1346626) (← links)
- Label-selective \(\lambda\)-calculus syntax and confluence (Q1350342) (← links)
- A useful \(\lambda\)-notation (Q1365680) (← links)
- Domain-independent queries on databases with external functions (Q1389449) (← links)