1449:-
Uppskattad leveranstid 7-11 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.
- Format: Inbunden
- ISBN: 9780198538356
- Språk: Engelska
- Antal sidor: 240
- Utgivningsdatum: 1994-03-01
- Förlag: Clarendon Press