Publications :: Search

Publication properties
Title:	Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory.
Rating:	(not rated yet)
Discussion:	0 comments
Date:	2006
Publication type:	Conference paper
Authors:	No. First name Last name Show 1. Robin Adams 2. Zhaohui Luo
Download (by DOI):	10.1007/978-3-540-74464-1_1
BibTeX:	conf/types/AdamsL06
DBLP:	db/conf/types/types2006.html#AdamsL06
Bookmark:

The following keywords have been assigned to this publication so far. If you have logged in, you can tag this publication with additional keywords.

If you log in you can tag this publication with additional keywords

A publication can refer to another publication (outgoing references) or it can be referred to by other publications (incoming references).

If you log in you can add references to other publications

A publication can be assigned to a conference, a journal or a school.

Conference
Name:	Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers 2007
DBLP:	db/conf/types/types2006.html