Volume 218, October 2008 Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)
, Peter Dybjer
: The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective.
: Propositional Dynamic Logic with Program Quantifiers.
: Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions.
: A Functional Algorithm for Exact Real Integration with Invariant Measures.