Pages that link to "Item:Q4236219"
From MaRDI portal
The following pages link to Normalization and the Yoneda embedding (Q4236219):
Displaying 14 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Category theoretic structure of setoids (Q2253183) (← links)
- The Simple Type Theory of Normalisation by Evaluation (Q2841227) (← links)
- On the Semantics of Intensionality (Q2988392) (← links)
- Formalising Overlap Algebras in Matita (Q3094175) (← links)
- Embeddability of ptykes (Q4032649) (← links)
- A general formulation of simultaneous inductive-recursive definitions in type theory (Q4508246) (← links)
- An Isbell duality theorem for type refinement systems (Q4640309) (← links)
- Normalisation of the Theory<b>T</b>of Cartesian Closed Categories and Conservativity of Extensions<b>T</b>[<i>x</i>] of<b>T</b> (Q4718892) (← links)
- Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus (Q4982059) (← links)
- Coherence for bicategorical cartesian closed structure (Q5068207) (← links)
- CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES (Q5249254) (← links)
- The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories – an Intuitionistic Perspective (Q5415629) (← links)
- Semantic analysis of normalisation by evaluation for typed lambda calculus (Q5889884) (← links)
