Type Theory and Formal Proof
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9781139567725

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Derivation rules for λD

Type Theory and Formal Proof ◽

10.1017/cbo9781139567725.023 ◽

2014 ◽

pp. 409-410

Author(s):

Rob Nederpelt ◽

Herman Geuvers

Rules and properties of λD

Type Theory and Formal Proof ◽

10.1017/cbo9781139567725.013 ◽

2014 ◽

pp. 211-224

Author(s):

Rob Nederpelt ◽

Herman Geuvers

Greek alphabet

Type Theory and Formal Proof ◽

10.1017/cbo9781139567725.003 ◽

2014 ◽

pp. xxviii-xxviii

Author(s):

Rob Nederpelt ◽

Herman Geuvers

Keyword(s):

Greek Alphabet

Two complete example proofs in λD

Type Theory and Formal Proof ◽

10.1017/cbo9781139567725.022 ◽

2014 ◽

pp. 403-408

Author(s):

Rob Nederpelt ◽

Herman Geuvers

Foreword

Type Theory and Formal Proof ◽

10.1017/cbo9781139567725.001 ◽

2014 ◽

pp. xiii-xiv

Author(s):

Henk Barendregt ◽

Rob Nederpelt ◽

Herman Geuvers

Types dependent on types

Type Theory and Formal Proof ◽

10.1017/cbo9781139567725.007 ◽

2014 ◽

pp. 85-102

Author(s):

Rob Nederpelt ◽

Herman Geuvers

Definitions

Type Theory and Formal Proof ◽

10.1017/cbo9781139567725.011 ◽

2014 ◽

pp. 165-188

Author(s):

Rob Nederpelt ◽

Herman Geuvers

Preface

Type Theory and Formal Proof ◽

10.1017/cbo9781139567725.002 ◽

2014 ◽

pp. xv-xxvi

Author(s):

Rob Nederpelt ◽

Herman Geuvers

Types dependent on terms

Type Theory and Formal Proof ◽

10.1017/cbo9781139567725.008 ◽

2014 ◽

pp. 103-122

Author(s):

Rob Nederpelt ◽

Herman Geuvers

Simply typed lambda calculus

Type Theory and Formal Proof ◽

10.1017/cbo9781139567725.005 ◽

2014 ◽

pp. 33-68

Author(s):

Rob Nederpelt ◽

Herman Geuvers

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus