Parametric limits

BP Dunphy, Uday Reddy

Research output: Contribution to conference (unpublished)Paperpeer-review

16 Citations (Scopus)
97 Downloads (Pure)

Abstract

We develop a categorical model of polymorphic lambda calculi using a notion called parametric limits, which extend the notion of limits in categories to reflexive graphs of categories. We show that a numberof parametric models of polymorphism can be captured in this way. We also axiomatize the structure of reflexive graphs needed for modelling parametric polymorphism based on ideas of fibrations, and show that it leads to proofs of representation results such as the initial algebra and final coalgebra properties one expects in polymorphic lambda calculi.
Original languageEnglish
Pages242-253
Number of pages12
DOIs
Publication statusPublished - 1 Jan 2004
EventNineteenth Annual IEEE Symposium on Logic in Computer Science -
Duration: 1 Jan 2004 → …

Conference

ConferenceNineteenth Annual IEEE Symposium on Logic in Computer Science
Period1/01/04 → …

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Theoretical Computer Science

Fingerprint

Dive into the research topics of 'Parametric limits'. Together they form a unique fingerprint.

Cite this