3 options
A characterization of Lambda definability in categorical models of implicit polymorphism / Moez Alimohamed.
LIBRA QA001 1994 .A411
Available from offsite location
LIBRA Diss. POPM1994.297
Available from offsite location
- Format:
- Book
- Manuscript
- Microformat
- Thesis/Dissertation
- Author/Creator:
- Alimohamed, Moez.
- Language:
- English
- Subjects (All):
- Penn dissertations--Mathematics.
- Mathematics--Penn dissertations.
- Local Subjects:
- Penn dissertations--Mathematics.
- Mathematics--Penn dissertations.
- Physical Description:
- ii, 18 leaves ; 29 cm
- Production:
- 1994.
- Notes:
- Thesis (Ph.D. in Mathematics) -- Graduate School of Arts and Sciences, University of Pennsylavania, 1994.
- Includes bibliographical references.
- Local Notes:
- University Microfilms order no.: 95-20994.
- OCLC:
- 187450544
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.