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
  • Author HeadingDybjer, Peter Lindström, Sten Palmgren, Eri...

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
  • Author HeadingDybjer, Peter

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
  • Author HeadingPitts, A. M Dybjer, Peter

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
  • Author HeadingPitts, A. M Dybjer, Peter

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
  • Author HeadingInternational Workshop on TYPES Dybjer, Peter Nordström, Bengt Smith, Jan M

Reached to the end of result.

RSS