Interactive programs in dependent type thory

Författare
Peter Hancock
(Peter Hancock and Anton Setzer)
Språk
Engelska
Förlag År Ort Om boken ISBN
2000 Sverige, Uppsala 15 sidor.