scientific article; zbMATH DE number 2185676
From MaRDI portal
Publication:3024853
Recommendations
- A completeness result for the simply typed \(\lambda \mu \)-calculus
- A Completeness Theorem for the Lambek Calculus of Syntactic Categories
- scientific article; zbMATH DE number 3871337
- The maximality of the typed lambda calculus and of cartesian closed categories
- A revised completeness result for the simply typed \(\lambda\mu\)-calculus using realizability semantics
- Typed Lambda Calculi and Applications
- Completeness Results for Lambek Syntactic Calculus
- Linear realizability and full completeness for typed lambda-calculi
- scientific article; zbMATH DE number 4120168
- Completeness of category-based equational deduction
Cited in
(19)- Building continuous webbed models for system F
- A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions
- Coherence in SMCCs and equivalences on derivations in IMML with unit
- The maximality of the typed lambda calculus and of cartesian closed categories
- Kripke Semantics for Martin-Löf’s Extensional Type Theory
- scientific article; zbMATH DE number 4103048 (Why is no real title available?)
- Normalization and the Yoneda embedding
- scientific article; zbMATH DE number 7003195 (Why is no real title available?)
- scientific article; zbMATH DE number 814613 (Why is no real title available?)
- The Typed Böhm Theorem
- Conditions for the completeness of functional and algebraic equational reasoning
- Strong typed Böhm theorem and functional completeness on the linear lambda calculus
- scientific article; zbMATH DE number 7204448 (Why is no real title available?)
- Eta-rules in Martin-Löf type theory
- Equality in lambda calculus. Weak universality in category theory and reversible computations
- Typed Lambda Calculi and Applications
- Simply typed convertibility is \textsc{Tower}-complete even for safe lambda-terms
- A completeness result for the simply typed \(\lambda \mu \)-calculus
- A category-theoretic characterization of functional completeness
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3024853)
