Search alternatives:
foundation lectures » foundation features, foundation gestures, foundation structures
lean foundation » design foundation, learning foundations
Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Implicit coercions in type systems -- A two-level approach towards lean proof-checking...”