Pages that link to "Item:Q1170021"
From MaRDI portal
The following pages link to An introduction to the PL/CV2 programming logic (Q1170021):
Displaying 5 items.
- A logic covering undefinedness in program proofs (Q790610) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Programs as proofs: A synopsis (Q1051424) (← links)
- Natural language syntax and first-order inference (Q1193491) (← links)
- Towards a computation system based on set theory (Q1825191) (← links)
