The following pages link to (Q3035254):
Displaying 16 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- The Girard-Reynolds isomorphism (second edition) (Q879366) (← links)
- Algebraic proofs of cut elimination (Q1349247) (← links)
- Termination of system \(F\)-bounded: A complete proof (Q1383151) (← links)
- A proof of strong normalization for \(F_ 2\), \(F_ \omega\), and beyond (Q1899911) (← links)
- Polymorphic lambda calculus: The Church-Rosser property (Q2276943) (← links)
- Recent Developments in Normaliz (Q2879191) (← links)
- (Q3150236) (← links)
- (Q3626618) (← links)
- On a new transformation to normality (Q3678461) (← links)
- (Q4247582) (← links)
- A proof of the normal form theorem for the closed terms of Girard's system <i>F</i> by means of computability (Q4304789) (← links)
- (Q4536108) (← links)
- Singleton, union and intersection types for program extraction (Q5096245) (← links)
- (Q5369497) (← links)
- Normalization flow (Q6069643) (← links)