Fulltext present in this item

Thumbnail
Fulltext: 175394.pdf
Format: PDF
Description: publisher's version
Title: Semantics of the second order lambda calculus
Author(s): Jacobs, B.P.F.
Publication year: 1991
Source: Mathematical Structures in Computer Science, vol. 1, iss. 3, (1991), pp. 327-360
ISSN: 0960-1295
DOI: https://doi.org/10.1017/s0960129500001341
Publication type: Article / Letter to editor

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/175394   https://hdl.handle.net/2066/175394

Display more details
Subject: Digital Security
Organization: Digital Security
Journal title:
Mathematical Structures in Computer Science
Volume: vol. 1
Issue: iss. 3
Page start: p. 327
Page end: p. 360

This item appears in the following Collection(s)

Browse

Statistics