Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
Adapting Proofs-as-Programs
e-kirja,
2007,
englanti,
ISBN 9780387281834
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has …