Original language | English |
---|---|

Title of host publication | Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith |

Place of Publication | New York |

Publisher | Marcel Dekker Inc. |

Pages | 71-92 |

ISBN (Print) | 0-8247-7746-8 |

Publication status | Published - 1987 |

### Publication series

Name | Lecture notes in pure and applied mathematics |
---|---|

Volume | 106 |

### Cite this

Bruijn, de, N. G. (1987). Generalizing Automath by means of a lambda-typed lambda calculus. In

*Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith*(pp. 71-92). (Lecture notes in pure and applied mathematics; Vol. 106). New York: Marcel Dekker Inc..@inbook{1e8d81e579a846ccb5caca250b2c984c,

title = "Generalizing Automath by means of a lambda-typed lambda calculus",

author = "{Bruijn, de}, N.G.",

year = "1987",

language = "English",

isbn = "0-8247-7746-8",

series = "Lecture notes in pure and applied mathematics",

publisher = "Marcel Dekker Inc.",

pages = "71--92",

booktitle = "Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith",

address = "United States",

}

Bruijn, de, NG 1987, Generalizing Automath by means of a lambda-typed lambda calculus. in

*Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith.*Lecture notes in pure and applied mathematics, vol. 106, Marcel Dekker Inc., New York, pp. 71-92.**Generalizing Automath by means of a lambda-typed lambda calculus.** / Bruijn, de, N.G.

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

TY - CHAP

T1 - Generalizing Automath by means of a lambda-typed lambda calculus

AU - Bruijn, de, N.G.

PY - 1987

Y1 - 1987

M3 - Chapter

SN - 0-8247-7746-8

T3 - Lecture notes in pure and applied mathematics

SP - 71

EP - 92

BT - Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith

PB - Marcel Dekker Inc.

CY - New York

ER -

Bruijn, de NG. Generalizing Automath by means of a lambda-typed lambda calculus. In Mathematical logic and theoretical computer science / ed. by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith. New York: Marcel Dekker Inc. 1987. p. 71-92. (Lecture notes in pure and applied mathematics).