scientific article; zbMATH DE number 512780
From MaRDI portal
Publication:4281473
zbMath0793.03079MaRDI QIDQ4281473
No author found.
Publication date: 30 August 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
partial combinatory algebramodified realizabilityrealizability topostriposquotient of strongly normalizing \(\lambda\)-termsstrong normalization argument for System Ftopos-representing indexed pre- ordered set
Formal languages and automata (68Q45) Categorical logic, topoi (03G30) Topoi (18B25) Combinatory logic and lambda calculus (03B40)
Related Items
Strong normalization for non-structural subtyping via saturated sets, Combinatory weak reduction in lambda calculus, Functoriality of modified realizability, Proving strong normalization of CC by modifying realizability semantics, Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves, The modified realizability topos, A simple model construction for the Calculus of Constructions, Normalization by Evaluation for Typed Weak lambda-Reduction, Axioms and (counter)examples in synthetic domain theory, Typing untyped \(\lambda\)-terms, or reducibility strikes again!, The sequentially realizable functionals, Relative and modified relative realizability
