Thorsten Altenkirch - PDFSEARCH.IO - Document Search Engine

Thorsten Altenkirch
Results: 25

#	Item
1	Univalence Thorsten Altenkirch Functional Programming Laboratory Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2016-03-10 17:41:39
2	λ-calculus and types Lecture notes Midland Graduate School / APPSEM Spring School 2004 Thorsten Altenkirch School of Computer Science and Information Technology, Nottingham University Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:38:15
3	Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology University of Nottingham {txa,ctm}@cs.nott.ac.uk Add to Reading List Source URL: personal.cis.strath.ac.uk - Date: 2015-07-09 09:31:03
4	a submission to PLPVObservational Equality, Now! Thorsten Altenkirch Conor McBride Add to Reading List Source URL: personal.cis.strath.ac.uk - Date: 2015-07-09 09:31:13
5	Why cubical type theory? Thorsten Altenkirch jww Ambrus Kaposi University of Nottingham ICMS, Berlin Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-28 14:33:53
6	Fundamenta Informaticaei–i i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-09-09 06:56:43 Type theory Thorsten Altenkirch DTP Dependent type
7	School of Computer Science and Information Technology Computer Systems Architecture (G51CSA) Thorsten Altenkirch Autumn 2008 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English
8	School of Computer Science and Information Technology Computer Systems Architecture (G51CSA) Thorsten Altenkirch Autumn 2008 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-11-10 06:21:36
9	School of Computer Science and Information Technology Computer Systems Architecture (G51CSA) Thorsten Altenkirch Autumn 2008 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-10-27 09:53:28
10	School of Computer Science and Information Technology Computer Systems Architecture (G51CSA) Thorsten Altenkirch Autumn 2008 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-10-13 08:47:36

UPDATE