Search

You searched for: Auteur Altenkirch, Thorsten Remove constraint Auteur: Altenkirch, Thorsten
1 entry found
Number of results to display per page

Search Results

1. Types for Proofs and Programs
thumbnail
Full text!
Author:
Altenkirch, Thorsten; Kanade, Takeo; McBride, Conor; Kittler, Josef; McBride, Connor
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book