Applied Logic Series - A Modern Perspective on Type Theory
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Kluwer Academic Publishers

1402023340

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Prehistory

Applied Logic Series - A Modern Perspective on Type Theory ◽

10.1007/1-4020-2335-9_2 ◽

2006 ◽

pp. 3-18

Download Full-text

Propositions as Types and Pure Type Systems

Applied Logic Series - A Modern Perspective on Type Theory ◽

10.1007/1-4020-2335-9_5 ◽

2006 ◽

pp. 105-123

Keyword(s):

Type Systems ◽

Pure Type ◽

Pure Type Systems

Download Full-text

Introduction

Applied Logic Series - A Modern Perspective on Type Theory ◽

10.1007/1-4020-2335-9_1 ◽

2006 ◽

pp. 1-6

Download Full-text

Automath

Applied Logic Series - A Modern Perspective on Type Theory ◽

10.1007/1-4020-2335-9_8 ◽

2006 ◽

pp. 179-230

Download Full-text

Type theory in Principia Mathematica

Applied Logic Series - A Modern Perspective on Type Theory ◽

10.1007/1-4020-2335-9_3 ◽

2006 ◽

pp. 19-67

Keyword(s):

Type Theory

Download Full-text

The pre-PAT RTT and STT in PAT-style

Applied Logic Series - A Modern Perspective on Type Theory ◽

10.1007/1-4020-2335-9_6 ◽

2006 ◽

pp. 125-152

Download Full-text

Pure Type Systems with definitions

Applied Logic Series - A Modern Perspective on Type Theory ◽

10.1007/1-4020-2335-9_9 ◽

2006 ◽

pp. 233-241

Keyword(s):

Type Systems ◽

Pure Type ◽

Pure Type Systems

Download Full-text

Pure Type Systems with parameters and definitions

Applied Logic Series - A Modern Perspective on Type Theory ◽

10.1007/1-4020-2335-9_11 ◽

2006 ◽

pp. 255-310

Keyword(s):

Type Systems ◽

Pure Type ◽

Pure Type Systems

Download Full-text

Deramification

Applied Logic Series - A Modern Perspective on Type Theory ◽

10.1007/1-4020-2335-9_4 ◽

2006 ◽

pp. 69-101

Download Full-text

A Correspondence between RTT and the system Nuprl

Applied Logic Series - A Modern Perspective on Type Theory ◽

10.1007/1-4020-2335-9_7 ◽

2006 ◽

pp. 153-177

Download Full-text

Applied Logic Series - A Modern Perspective on Type TheoryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Kluwer Academic Publishers

Prehistory

Propositions as Types and Pure Type Systems

Introduction

Automath

Type theory in Principia Mathematica

The pre-PAT RTT and STT in PAT-style

Pure Type Systems with definitions

Pure Type Systems with parameters and definitions

Deramification

A Correspondence between RTT and the system Nuprl

Applied Logic Series - A Modern Perspective on Type Theory
Latest Publications