Confluence of untyped lambda calculus via simple types

conference paper

Ghilezan, Silvia

•

2001

Theoretical Computer Science. ICTCS 2001

Type

conference paper

DOI

Author(s)

Ghilezan, Silvia

Date Issued

2001

Published in

Theoretical Computer Science. ICTCS 2001

Series title/Series vol.

Lecture Notes in Computer Science; 2202

Start page

38

End page

49

Written at

OTHER

EPFL units

Event name	Event place	Event date
7th Italian Conference on Theoretical Computer Science, ICTCS 2001	Torino, Italy	October 4–6, 2001

Available on Infoscience

August 21, 2007

Use this identifier to reference this record