Summary Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

-
ISBN-10 3540744630 ISBN-13 9783540744634
0 Flashcards & Notes
0 Students
  • This summary

  • +380.000 other summaries

  • A unique study tool

  • A rehearsal system for this summary

  • Studycoaching with videos

Remember faster, study better. Scientifically proven.

This is the summary of the book "Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers". The author(s) of the book is/are Thorsten Altenkirch Conor McBride. The ISBN of the book is 9783540744634 or 3540744630. This summary is written by students who study efficient with the Study Tool of Study Smart With Chris.

Be the first one to add content
Discover the Study Smart Package