file.pdf (813.99 kB)

Typing and convergence in the lambda calculus

journal contribution

posted on 2001-01-01, 00:00 authored by Daniel Leivant

Computer Science Department

History

Publisher Statement

All Rights Reserved

Date

2001-01-01

Usage metrics

Categories

Information and Computing Sciences not elsewhere classified

Keywords

Programming languages (Electronic computers) Semantics.Computer programming.

Licence

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM

DC