Reading Length
Home
Speed Tests
Login
Benjamin Werner
Identifiers
Open Library
OL9697297A
Top Subjects
Computer programming (1)
Automatic theorem proving (1)
Books by Benjamin Werner
Total count: 1
Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers
Springer London, Limited
2006-01-01
