An implementation of substitution in a $\lambda$-calculus with dependent types

L.S. Benthem Jutting, van

An implementation of substitution in a $\lambda$-calculus with dependent types

L.S. Benthem Jutting, van

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

8 Downloads (Pure)

Abstract

No abstract.

Original language	English
Title of host publication	Selected Papers on Automath
Editors	R.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
Place of Publication	Amsterdam
Publisher	North-Holland Publishing Company
Pages	809-837
ISBN (Print)	0-444-89822-0
Publication status	Published - 1994

Publication series

Name	Studies in Logic
Volume	133

Cite this

@inbook{dd4a316abf00474ab43894c81ef4fa6a,

title = "An implementation of substitution in a $\lambda$-calculus with dependent types",

abstract = "No abstract.",

author = "{Benthem Jutting, van}, L.S.",

year = "1994",

language = "English",

isbn = "0-444-89822-0",

series = "Studies in Logic",

publisher = "North-Holland Publishing Company",

pages = "809--837",

editor = "R.P. Nederpelt and J.H. Geuvers and {Vrijer, de}, R.C.",

booktitle = "Selected Papers on Automath",

address = "Netherlands",

}

TY - CHAP

T1 - An implementation of substitution in a $\lambda$-calculus with dependent types

AU - Benthem Jutting, van, L.S.

PY - 1994

Y1 - 1994

N2 - No abstract.

AB - No abstract.

M3 - Chapter

SN - 0-444-89822-0

T3 - Studies in Logic

SP - 809

EP - 837

BT - Selected Papers on Automath

A2 - Nederpelt, R.P.

A2 - Geuvers, J.H.

A2 - Vrijer, de, R.C.

PB - North-Holland Publishing Company

CY - Amsterdam

ER -

An implementation of substitution in a $\lambda$-calculus with dependent types

Abstract

Publication series

Fingerprint

Cite this