Types for Proofs and Programs

by Paul Callaghan
BOOK
loading image...
Book Title : Types for Proofs and Programs
Author : Paul Callaghan
Publisher : Springer Science & Business Media
Release Date : 2002-02-20
Categories : Computers
Pages : 248
ISBN : 9783540432876
Available Language : English