Pages that link to "Item:Q3521979"

The following pages link to Verifying a Semantic βη-Conversion Test for Martin-Löf Type Theory (Q3521979):

Displayed 8 items.

• Type Theory Should Eat Itself (Q2804938) ‎ (← links)
• A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance (Q3637183) ‎ (← links)
• Typed Applicative Structures and Normalization by Evaluation for System F ω (Q3644739) ‎ (← links)
• (Q5094128) ‎ (← links)
• The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type (Q5111301) ‎ (← links)
• A Partial Type Checking Algorithm for Type:Type (Q5166618) ‎ (← links)
• Dependent Types at Work (Q5191088) ‎ (← links)
• Pure type systems with explicit substitutions (Q5371956) ‎ (← links)