Skip to main content Skip to main navigation menu Skip to site footer

Current
Archives
Announcements
About
Computer Science, AU

Register
Login

Home /
Archives /
No. 405 (1992): PB-405 Efficient Recursive Subtyping

No. 405 (1992): PB-405 Efficient Recursive Subtyping

Published: 1992-07-01

Articles

Efficient Recursive Subtyping

Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
- PDF

Language

Dansk
English

Current Issue

Hosted by The Royal Danish Library

ISSN Online: 2245-9316
ISSN Print: 0105-8517

More information about the publishing system, Platform and Workflow by OJS/PKP.