Types

Pages

• @Mim2022
• @Rijk2022
• Agda
• Category Theory
• Family Polymorphism
• HoTT
• Introduction into Everything
• Logic
• Types
• bibliography
• lambda-calculus
• natural-deduction