Altenkirch, Thorsten

ID:DA12300125

同姓同名の著者を検索

検索結果3件中 1-3 を表示

1

Types for proofs and programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers

Thorsten Altenkirch, Conor McBride (eds.)

Springer c2007 Lecture notes in computer science 4502

所蔵館2館
2

Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)

Springer c1999 Lecture notes in computer science 1657

所蔵館43館
3

Constructions, inductive types and strong normalization

Thorsten Altenkirch

University of Edinburgh, Department of Computer Science 1993

所蔵館1館

この著者を外部サイトでさがす

関連著者

ページトップへ