The following pages link to (Q5565113):
Displaying 34 items.
- (In)efficiency and reasonable cost models (Q2333310) (← links)
- Formal metatheory of the lambda calculus using Stoughton's substitution (Q2358702) (← links)
- Higher-order unification via combinators (Q2367541) (← links)
- Projections for infinitary rewriting (extended version) (Q2424890) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- The mechanisation of Barendregt-style equational proofs (the residual perspective) (Q2841232) (← links)
- Strongly normalising cut-elimination with strict intersection types (Q2842832) (← links)
- Predicate calculus of arbitrarily high finite order (Q3309804) (← links)
- λ-definable functionals andβη conversion (Q3322071) (← links)
- Proposal for a natural formalization of functional programming concepts (Q3793721) (← links)
- European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978 (Q3864483) (← links)
- (Q3869322) (← links)
- (Q3927252) (← links)
- Completeness, invariance and <i>λ</i>-definability (Q3947643) (← links)
- Stratification and cut-elimination (Q3981455) (← links)
- Realizability algebras III: some examples (Q4599612) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)
- Automath and Pure Type Systems (Q4924545) (← links)
- (Q5013873) (← links)
- (Q5020646) (← links)
- Gate splitting in LOTOS specifications using abstract interpretation (Q5044753) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)
- Formal SOS-Proofs for the Lambda-Calculus (Q5178966) (← links)
- (Q5202638) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Proof-Theoretic Semantics and Feasibility (Q5250217) (← links)
- Redexes are stable in the λ-calculus (Q5269004) (← links)
- Functional Semantics (Q5410451) (← links)
- (Q5552746) (← links)
- (Q5646883) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)
- On the proof theory of Coquand's calculus of constructions (Q5961667) (← links)
- Adding Negation to Lambda Mu (Q6135761) (← links)
