de Bruijn. On the roles of types in mathematics (1995)

by N G
Venue:In Philippe de Groote, editor, The Curry-Howard isomorphism
Add To MetaCart
Results 1 - 1 of 1

Should Your Specification Language Be Typed?

by Leslie Lamport , Lawrence C. Paulson , 1999
"... ..."
Abstract - Cited by 43 (1 self) - Add to MetaCart
Abstract not found