Dybjer, Peter

この人物の情報

人物別名 Peter Dybjer
生年 -
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf Peter Dybjer ... [et al.], editors Springer
c2012
Semantics and logics of computation edited by Andrew M. Pitts, Peter Dybjer Cambridge University Press
2009
Semantics and logics of computation edited by Andrew M. Pitts, Peter Dybjer Cambridge University Press
1997
Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers Peter Dybjer, Bengt Nordström, Jan Smith (eds.) Springer-Verlag
c1995
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想