Pages that link to "Item:Q2945651"
From MaRDI portal
The following pages link to Transfinite Constructions in Classical Type Theory (Q2945651):
Displayed 4 items.
- Categoricity results for second-order ZF in dependent type theory (Q1687749) (← links)
- A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory (Q2102926) (← links)
- Categoricity results and large model constructions for second-order ZF in dependent type theory (Q2319994) (← links)
- Tower Induction and Up-to Techniques for CCS with Fixed Points (Q5283217) (← links)