Jump to main content

yr 〜
yr

Search results 6

Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf

Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf
Paper図書
Peter Dybjer ... [et al.], editorsSpringerc2012
Other Libraries in Japan

Constructive Type Theory and Interactive Theorem Proving

Constructive Type Theory and Interactive Theorem Proving
Digital文書・図像類
Dybjer, Peter2009-09-22p.1-53
Other Libraries in Japan

Semantics and logics of computation pbk

Semantics and logics of computation pbk
Paper図書
edited by Andrew M. Pitts, Peter DybjerCambridge University Press2009
Other Libraries in Japan

CATEGORY - THEORETIC LOGICS AND ALGEBRAS OF PROGRAMS

CATEGORY - THEORETIC LOGICS AND ALGEBRAS OF PROGRAMS
Paper博士論文
Dybjer, Peter.Chalmers Tekniska Högskola1983.<M-DISC-445>
National Diet Library
  • Author HeadingDybjer, Peter.

Semantics and logics of computation

Semantics and logics of computation
Paper図書
edited by Andrew M. Pitts, Peter DybjerCambridge University Press1997
Other Libraries in Japan

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers : gw

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers : gw
Paper図書
Peter Dybjer, Bengt Nordström, Jan Smith (eds.)Springer-Verlagc1995
Other Libraries in Japan

Reached to the end of result.

RSS