Models for simply typed lambda-calculi with fixed point combinators and enumerators

Thumbnail Image

Files

Primary mmubn000001_200175513.pdf (22.16 MB)

Date

1995

Authors

Draanen, J.P.C.M. van

Journal Title

Journal ISSN

Volume Title

Publisher

[S.l. : s.n.]

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/145966

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By