Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Brian P. Dunphy

dblp:61/5802 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 2012
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Logic in computer science · 100%
Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%

Topics — the 7 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science › semantics
game semantics
0.112012
An Automata-Theoretic Model of Idealized Algol - (Extended Abstract) · ICALP (2) 2012
Logic in computer science
semantics
0.112012
An Automata-Theoretic Model of Idealized Algol - (Extended Abstract) · ICALP (2) 2012
Programming languages and type systems › type systems › polymorphism
parametric polymorphism
0.012004
Parametric Limits · LICS 2004
Programming languages and type systems › lambda calculus
polymorphic lambda calculus
0.012004
Parametric Limits · LICS 2004
Logic in computer science › proof theory › substructural logic › linear logic
categorical models
0.012004
Parametric Limits · LICS 2004
Logic in computer science › semantics
denotational semantics
0.012004
Parametric Limits · LICS 2004
Logic in computer science
type theory
0.012004
Parametric Limits · LICS 2004

Methods — techniques the papers use, named apart from their topics

automata theory · 0.1reflexive graphs · 0.1fibrations · 0.1
YearPublicationVenuePosition
2012 An Automata-Theoretic Model of Idealized Algol - (Extended Abstract)
Uday S. Reddy, Brian P. Dunphy
ICALP (2)2
2004 Parametric Limits
abstract
We develop a categorical model of polymorphic lambda calculi using the notion of parametric limits, which extend the notion of limits in categories to reflexive graphs of categories. We show that a number of 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.
Brian P. Dunphy, Uday S. Reddy
LICS1