Pages that link to "Item:Q4617969"
From MaRDI portal
The following pages link to A Modular Type Reconstruction Algorithm (Q4617969):
Displaying 6 items.
- The future of logic: foundation-independence (Q263104) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- Logic-independent proof search in logical frameworks (short paper) (Q2096460) (← links)
- An extensible equality checking algorithm for dependent type theories (Q5028472) (← links)
- Equality Checking for General Type Theories in Andromeda 2 (Q5041060) (← links)
- Type-based hot swapping of running modules (extended abstract) (Q5177998) (← links)