The following pages link to The formal system λδ (Q2946591):
Displaying 5 items.
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674) (← links)
- Procedural representation of CIC proof terms (Q2655331) (← links)
- A kind of simplified formal deductive system \(L_0^*\) for the system \(L^*\) (Q2748639) (← links)
- (Q5140267) (← links)