The following pages link to (Q3875311):
Displaying 5 items.
- On Goedel speed-up and succinctness of language representations (Q594584) (← links)
- On verification of programs with goto statements (Q801657) (← links)
- Equivalences among logics of programs (Q801684) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Programs as proofs: A synopsis (Q1051424) (← links)