Volume 218, October 2008 Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)
export record as
dblp key:
export record as
dblp key:
journals/entcs/DockinsAH08 export record as
dblp key:
journals/entcs/BuisseD08a Alexandre Buisse ,
Peter Dybjer :
The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective.
21-32
export record as
dblp key:
journals/entcs/GalpinHB08 export record as
dblp key:
journals/entcs/HaghverdiS08 export record as
dblp key:
journals/entcs/KrivineMT08 export record as
dblp key:
export record as
dblp key:
journals/entcs/ChatzikokolakisM08 export record as
dblp key:
journals/entcs/CoeckePP08 export record as
dblp key:
journals/entcs/DelbecqueP08 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Daniel Leivant :
Propositional Dynamic Logic with Program Quantifiers.
231-240
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/entcs/PlotkinP08 export record as
dblp key:
journals/entcs/Rossberg08 Andreas Rossberg :
Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions.
313-336
export record as
dblp key:
Adam Scriven :
A Functional Algorithm for Exact Real Integration with Invariant Measures.
337-353
export record as
dblp key:
export record as
dblp key:
journals/entcs/VarmingB08
data released under the ODC-BY 1.0 license
