Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Logics and type systems

Geuvers, J.H.

Publication date

January 1993

Publisher

[S.l. : s.n.]

Abstract

Contains fulltext : mmubn000001_167204513.pdf (publisher's version ) (Open Access)Promotor : H. BarendregtVIII, 209 p

Extracted data

Related items

Determiners and Logic

van Benthem, J.F.A.K.

January 1983

Fulltext available at URL;http://www.springerlink.com/content/uh2v57l033u3mnqw/fulltext.pd

An Interactive Viewer for Mathematical Content Based On Type Theory

Oostdijk, M.

January 2000

Contains fulltext : 175979.pdf (publisher's version ) (Open Access)24 p

Intuitionistic logic in intuitionistic metamathematics

Swart, H.C.M. de

January 1976

Contains fulltext : mmubn000001_194061965.pdf (publisher's version ) (Open Access)...

Equivalences between pure type systems and systems of illative combinatory logic

Bunder, M.W.
Dekkers, W.J.M.

January 2005

Contains fulltext : 103971.pdf (publisher's version ) (Open Access

Pure Type Systems without Explicit Contexts

Geuvers, H.
Krebbers, R.J.
McKinna, J.
Wiedijk, F.

January 2010

Contains fulltext : 84166.pdf (preprint version ) (Open Access)5th International W...

Incompleteness & completeness : formalizing logic and analysis in type theory

O'Connor, R.S.S.

January 2009

Contains fulltext : 76032.pdf (publisher's version ) (Open Access)Radboud Universi...

Categorical type theory

Jacobs, B.P.F.

January 1991

Contains fulltext : mmubn000001_128888822.pdf (publisher's version ) (Open Access)...

Type classes for mathematics in type theory

Spitters, B.A.W.
Weegen, E.E. van der

January 2011

Contains fulltext : 92523.pdf (preprint version ) (Open Access) ...

Practising logic through the web

Wiedijk, F.

January 2009

Contains fulltext : 76010.pdf (preprint version ) (Open Access)70 p

Problems in type theory

Barendregt, H.P.

January 1999

Contains fulltext : 17275.pdf (preprint version ) (Open Access

A Size-Aware Type System with Algebraic Data Types

Tamalet, A.N.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2008

Contains fulltext : 72731.pdf (publisher's version ) (Open Access)34 p. p

Combinatory logic and the axiom of choice

Barendregt, H.P.

January 1973

Contains fulltext : 13251.pdf (publisher's version ) (Open Access

Exemplaric expressivity of modal logics

Jacobs, B.
Sokolova, A.

January 2010

Contains fulltext : 83637.pdf (publisher's version ) (Closed access

Relational semantics for a fragment of linear logic

Coumans, D.
Gehrke, M.
Rooijen, L. van

January 2012

Contains fulltext : 103692.pdf (preprint version ) (Open Access

A type system for Continuation Calculus

Geuvers, H.
Geraedts, W.
Geron, B.
Stegeren, J. van

January 2014

Contains fulltext : 132755.pdf (preprint version ) (Open Access

Determiners and Logic

van Benthem, J.F.A.K.

January 1983

Fulltext available at URL;http://www.springerlink.com/content/uh2v57l033u3mnqw/fulltext.pd

An Interactive Viewer for Mathematical Content Based On Type Theory

Oostdijk, M.

January 2000

Contains fulltext : 175979.pdf (publisher's version ) (Open Access)24 p

Intuitionistic logic in intuitionistic metamathematics

Swart, H.C.M. de

January 1976

Contains fulltext : mmubn000001_194061965.pdf (publisher's version ) (Open Access)...

Equivalences between pure type systems and systems of illative combinatory logic

Bunder, M.W.
Dekkers, W.J.M.

January 2005

Contains fulltext : 103971.pdf (publisher's version ) (Open Access

Pure Type Systems without Explicit Contexts

Geuvers, H.
Krebbers, R.J.
McKinna, J.
Wiedijk, F.

January 2010

Contains fulltext : 84166.pdf (preprint version ) (Open Access)5th International W...

Incompleteness & completeness : formalizing logic and analysis in type theory

O'Connor, R.S.S.

January 2009

Contains fulltext : 76032.pdf (publisher's version ) (Open Access)Radboud Universi...

Categorical type theory

Jacobs, B.P.F.

January 1991

Contains fulltext : mmubn000001_128888822.pdf (publisher's version ) (Open Access)...

Type classes for mathematics in type theory

Spitters, B.A.W.
Weegen, E.E. van der

January 2011

Contains fulltext : 92523.pdf (preprint version ) (Open Access) ...

Practising logic through the web

Wiedijk, F.

January 2009

Contains fulltext : 76010.pdf (preprint version ) (Open Access)70 p

Problems in type theory

Barendregt, H.P.

January 1999

Contains fulltext : 17275.pdf (preprint version ) (Open Access

A Size-Aware Type System with Algebraic Data Types

Tamalet, A.N.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2008

Contains fulltext : 72731.pdf (publisher's version ) (Open Access)34 p. p

Combinatory logic and the axiom of choice

Barendregt, H.P.

January 1973

Contains fulltext : 13251.pdf (publisher's version ) (Open Access

Exemplaric expressivity of modal logics

Jacobs, B.
Sokolova, A.

January 2010

Contains fulltext : 83637.pdf (publisher's version ) (Closed access

Relational semantics for a fragment of linear logic

Coumans, D.
Gehrke, M.
Rooijen, L. van

January 2012

Contains fulltext : 103692.pdf (preprint version ) (Open Access

A type system for Continuation Calculus

Geuvers, H.
Geraedts, W.
Geron, B.
Stegeren, J. van

January 2014

Contains fulltext : 132755.pdf (preprint version ) (Open Access

Determiners and Logic

van Benthem, J.F.A.K.

January 1983

Fulltext available at URL;http://www.springerlink.com/content/uh2v57l033u3mnqw/fulltext.pd

An Interactive Viewer for Mathematical Content Based On Type Theory

Oostdijk, M.

January 2000

Contains fulltext : 175979.pdf (publisher's version ) (Open Access)24 p

Intuitionistic logic in intuitionistic metamathematics

Swart, H.C.M. de

January 1976

Contains fulltext : mmubn000001_194061965.pdf (publisher's version ) (Open Access)...