Thorsten Altenkirch

Thorsten Altenkirch’s Followers

None yet.

Thorsten Altenkirch

Combine Editions
Thorsten Altenkirch’s books

Average rating: 4.5 · 14 ratings · 3 reviews · 6 distinct works

	Conceptual Programming with Python by Thorsten Altenkirch, Isaac Triguero 4.50 avg rating — 14 ratings — published 2019 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4502) by Thorsten Altenkirch (Editor), Conor McBride (Editor) 0.00 avg rating — 0 ratings — published 2007 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science, 1657) by Thorsten Altenkirch (Editor), Wolfgang Naraschewski (Editor), Bernhard Reus (Editor) 0.00 avg rating — 0 ratings — published 1999 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Mathematics For Computer Scientists 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Types for Proofs and Programs 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

More books by Thorsten Altenkirch…

Is this you? Let us know. If not, help out and invite Thorsten to Goodreads.