Degrees of sensible lambda theories

Files

bergstra_78_degrees_sensible.pdf (429.57 KB)

Publication date

1978

Authors

Bergstra, J.A.

Barendregt, H.P.

Klop, J.W.

Volken, H.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/12741