Topic
A330
2
Airbus
2
BelugaXL
2
Dependent Types
2
Logical Frameworks
2
Medieval fish trade; Sturgeons; Feasts; Religious celebrations; Studenica monastery
2
Type systems
2
aerolectures
2
aerolectures2020
2
aircraft
2
assembly
2
cargo
2
flight test
2
production
2
transport
2
Contextual Reasoning
1
Dependent types
1
Higher-Order Abstract Syntax
1
Intersection types
1
Pure Type Systems
1
Refiner
1
Subtyping
1
System F
1
Theory of computation → Lambda calculus
1
Theory of computation → Proof theory
1
Type checker
1
Union types
1
de Bruijn Syntax
1
Δ-Framework
1