Pages that link to "Biography:Henk Barendregt"
From HandWiki
The following pages link to Biography:Henk Barendregt:
Displayed 18 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Lambda calculus (← links)
- List of mathematicians (B) (← links)
- Complete partial order (← links)
- Dependent type (← links)
- Typed lambda calculus (← links)
- Type theory (← links)
- Lambda cube (← links)
- Pure type system (← links)
- Calculus of constructions (← links)
- System F (← links)
- Intersection type discipline (← links)
- Combinatory logic (← links)
- Handbook of Automated Reasoning (← links)
- Philosophy:Natural deduction (← links)
- Biography:List of logicians (← links)
- Biography:Marieke Huisman (← links)
- Biography:Mariëlle Stoelinga (← links)
- Organization:Radboud University Nijmegen (← links)
