researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1997
1999
2001
2003
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2018
2019
2020
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
action semantics
algebra
C++
Meta-Environment
abstraction
completeness
composition
data-flow
denotational semantics
e-science
logic
meta-model
meta-objects
operational semantics
programming
programming languages
refinement
rule-based
semantics
systematic-approach
Filter by Author
[+]
OR
AND
NOT
1
A. W. Roscoe
Abbas Edalat
Achim Jung
Adrian Tang
Alan Jeffrey
Allen Stoughton
Ana Pasztor
Austin Melton
Bart Jacobs 0001
Carl A. Gunter
David A. Schmidt
David B. Benson
Guo-Qiang Zhang
Horst Herrlich
Jan J. M. M. Rutten
John W. Gray
Kim B. Bruce
Michael W. Mislove
Prakash Panangaden
Stephen D. Brookes
Filter by Top terms
[+]
OR
AND
NOT
1
april
categories
conference
continuous
domain
domains
foundations
june
language
logic
mathematical
may
mfps
new
proceedings
programming
semantics
types
university
usa
MFPS (mfps)
Editions
Publications
Viewing Publication 1 - 100 from 205
2023
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023
Marie Kerjean
,
Paul Blain Levy
, editors,
Volume 3 of
EPTICS
, EpiSciences,
2023.
[doi]
2022
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022
Justin Hsu
,
Christine Tasson
, editors,
Volume 1 of
EPTICS
, EpiSciences,
2022.
[doi]
2020
Weakest Preconditions in Fibrations
Alejandro Aguirre 0001
,
Shin-ya Katsumata
.
mfps 2020
:
5-27
[doi]
Bifibrations of Polycategories and Classical Linear Logic
Nicolas Blanco
,
Noam Zeilberger
.
mfps 2020
:
29-52
[doi]
Equational Logic and Categorical Semantics for Multi-Languages
Samuele Buro
,
Roy L. Crole
,
Isabella Mastroeni
.
mfps 2020
:
79-103
[doi]
Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes
Linan Chen
,
Florence Clerc
,
Prakash Panangaden
.
mfps 2020
:
53-77
[doi]
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems
Abbas Edalat
,
Amin Farjudian
,
Mina Mohammadian
,
Dirk Pattinson
.
mfps 2020
:
105-128
[doi]
Monads, Partial Evaluations, and Rewriting
Tobias Fritz
,
Paolo Perrone
.
mfps 2020
:
129-148
[doi]
Hennessy-Milner Results for Probabilistic PDL
Tao Gu
,
Alexandra Silva 0001
,
Fabio Zanasi
.
mfps 2020
:
283-304
[doi]
Preface
Patricia Johann
.
mfps 2020
:
1-3
[doi]
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020
Patricia Johann
, editor,
Volume 352 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2020.
[doi]
Parametrized Fixed Points and Their Applications to Session Types
Ryan Kavanagh
.
mfps 2020
:
149-172
[doi]
Continuous Monads
Ernie Manes
.
mfps 2020
:
173-190
[doi]
A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem
Thomas Paine
.
mfps 2020
:
191-209
[doi]
A Complete Equational Axiomatisation of Partial Differentiation
Gordon D. Plotkin
.
mfps 2020
:
211-232
[doi]
Eilenberg-Kelly Reloaded
Tarmo Uustalu
,
Niccolò Veltri
,
Noam Zeilberger
.
mfps 2020
:
233-256
[doi]
Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices
Niels F. W. Voorneveld
.
mfps 2020
:
257-281
[doi]
2019
The Effects of Effects on Constructivism
Liron Cohen 0001
,
Sofia Abreu Faro
,
Ross Tate
.
mfps 2019
:
87-120
[doi]
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019
Barbara König 0001
, editor,
Volume 347 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2019.
[doi]
Preface
Barbara König 0001
.
mfps 2019
:
1-3
[doi]
Neural Nets via Forward State Transformation and Backward Loss Transformation
Bart Jacobs 0001
,
David Sprunger
.
mfps 2019
:
161-177
[doi]
Learning along a Channel: the Expectation part of Expectation-Maximisation
Bart Jacobs 0001
.
mfps 2019
:
143-160
[doi]
Bisimulation Maps in Presheaf Categories
Harsh Beohar
,
Sebastian Küpper
.
mfps 2019
:
5-24
[doi]
Diacritical Companions
Dariusz Biernacki
,
Sergueï Lenglet
,
Piotr Polesiuk
.
mfps 2019
:
25-43
[doi]
Bisimulation for Feller-Dynkin Processes
Linan Chen
,
Florence Clerc
,
Prakash Panangaden
.
mfps 2019
:
45-63
[doi]
Taylor Expansion, Finiteness and Strategies
Jules Chouquet
.
mfps 2019
:
65-85
[doi]
Deriving Logical Relations from Interpretations of Predicate Logic
Claudio Hermida
,
Uday S. Reddy
,
Edmund P. Robinson
.
mfps 2019
:
241-259
[doi]
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
Robin Kaarsgaard
.
mfps 2019
:
179-202
[doi]
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice
Ugo Dal Lago
,
Francesco Gavazzo
.
mfps 2019
:
121-141
[doi]
From Global to Local State, Coalgebraically and Compositionally
Jim Laird
.
mfps 2019
:
203-222
[doi]
Towards a Directed Homotopy Type Theory
Paige Randall North
.
mfps 2019
:
223-239
[doi]
The Construction of Set-Truncated Higher Inductive Types
Niels van der Weide
,
Herman Geuvers
.
mfps 2019
:
261-280
[doi]
Quantitative Logics for Equivalence of Effectful Programs
Niels Voorneveld
.
mfps 2019
:
281-301
[doi]
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism
Di Wang
,
Jan Hoffmann 0002
,
Thomas W. Reps
.
mfps 2019
:
303-324
[doi]
2018
The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017
Alexandra Silva 0001
, editor,
Volume 336 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2018.
[doi]
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018
Sam Staton
, editor,
Volume 341 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2018.
[doi]
2016
The Thirty-second Conference on the Mathematical Foundations of Programming Semantics, MFPS 2016, Carnegie Mellon University, Pittsburgh, PA, USA, May 23-26, 2016
Lars Birkedal
, editor,
Volume 325 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2016.
[doi]
2015
The 31st Conference on the Mathematical Foundations of Programming Semantics, MFPS 2015, Nijmegen, The Netherlands, June 22-25, 2015
Dan R. Ghica
, editor,
Volume 319 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2015.
[doi]
2014
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014
Bart Jacobs 0001
,
Alexandra Silva 0001
,
Sam Staton
, editors,
Volume 308 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2014.
[doi]
2013
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2013, New Orleans, LA, USA, June 23-25, 2013
Dexter Kozen
,
Michael W. Mislove
, editors,
Volume 298 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2013.
[doi]
2012
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2012, Bath, UK, June 6-9, 2012
Ulrich Berger 0001
,
Michael W. Mislove
, editors,
Volume 286 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2012.
[doi]
2011
Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, MFPS 2011, Pittsburgh, PA, USA, May 25-28, 2011
Michael W. Mislove
,
Joël Ouaknine
, editors,
Volume 276 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2011.
[doi]
2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2010, Ottawa, Ontario, Canada, May 6-10, 2010
Michael W. Mislove
,
Peter Selinger
, editors,
Volume 265 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2010.
[doi]
2009
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009
Samson Abramsky
,
Michael W. Mislove
,
Catuscia Palamidessi
, editors,
Volume 249 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2009.
[doi]
2008
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008
Andrej Bauer
,
Michael W. Mislove
, editors,
Volume 218 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2008.
[doi]
2007
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, MFPS 2007, New Orleans, LA, USA, April 11-14, 2007
Marcelo Fiore
, editor,
Volume 173 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2007.
[doi]
2006
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2006, Genova, Italy, May 23-27, 2006
Stephen D. Brookes
,
Michael W. Mislove
, editors,
Volume 158 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2006.
[doi]
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005
Martín Hötzel Escardó
,
Achim Jung
,
Michael W. Mislove
, editors,
Volume 155 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2006.
[doi]
2003
Ribbon Proofs
Jules Bean
.
mfps 2003
:
1-21
[doi]
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003
Stephen D. Brookes
,
Prakash Panangaden
, editors,
Volume 83 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2003.
[doi]
Cumulative Computing
Yifeng Chen
.
mfps 2003
:
23-38
[doi]
Pseudo-distributive Laws
Eugenia Cheng
,
Martin Hyland
,
John Power
.
mfps 2003
:
227-245
[doi]
Entropic Geometry from Logic
Bob Coecke
.
mfps 2003
:
39-53
[doi]
Secure Protocol Composition
Anupam Datta
,
Ante Derek
,
John C. Mitchell
,
Dusko Pavlovic
.
mfps 2003
:
201-226
[doi]
Towards the Correctness of Security Protocols
Mourad Debbabi
,
Mohamed Mejri
.
mfps 2003
:
55-98
[doi]
Domain-theoretic Solution of Differential Equations (Scalar Fields)
Abbas Edalat
,
Marko Krznaric
,
André Lieutier
.
mfps 2003
:
99-112
[doi]
The Security Picalculus and Non-interference (Extended Abstract)
Matthew Hennessy
.
mfps 2003
:
113-129
[doi]
Intensional Double Glueing, Biextensional Collapse, and the Chu Construction
Dominic Hughes
.
mfps 2003
:
131-147
[doi]
Contextual Equivalence for Higher-Order π-Calculus Revisited
Alan Jeffrey
,
Julian Rathke
.
mfps 2003
:
149-168
[doi]
On the Semantics of the Bad-Variable Constructor in Algol-like Languages
Guy McCusker
.
mfps 2003
:
169-186
[doi]
Generic Transforms on Incomplete Specifications of Asynchronous Interfaces
Radu Negulescu
.
mfps 2003
:
187-200
[doi]
How Do Domains Model Topologies?
Pawel Waszkiewicz
.
mfps 2003
:
247-262
[doi]
A Type System for Robust Declassification
Steve Zdancewic
.
mfps 2003
:
263-277
[doi]
Compact Coverages Generate Spectral Frames
Guo-Qiang Zhang
.
mfps 2003
:
279-285
[doi]
Chu Spaces, Concept Lattices, and Domains
Guo-Qiang Zhang
.
mfps 2003
:
287-302
[doi]
2001
Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001
Stephen D. Brookes
,
Michael W. Mislove
, editors,
Volume 45 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2001.
[doi]
1999
Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999
Stephen D. Brookes
,
Achim Jung
,
Michael W. Mislove
,
Andre Scedrov
, editors,
Volume 20 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
1999.
[doi]
1997
Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997
Stephen D. Brookes
,
Michael W. Mislove
, editors,
Volume 6 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
1997.
[doi]
1995
MFPS XI, Mathematical Foundations of Programming Semantics, Eleventh Annual Conference, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995
Stephen D. Brookes
,
Michael G. Main
,
Austin Melton
,
Michael W. Mislove
, editors,
Volume 1 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
1995.
[doi]
1994
Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings
Stephen D. Brookes
,
Michael G. Main
,
Austin Melton
,
Michael W. Mislove
,
David A. Schmidt
, editors,
Volume 802 of
Lecture Notes in Computer Science
, Springer,
1994.
1993
Final Universes of Processes
Peter Aczel
.
mfps 1994
:
1-28
A Categorical Interpretation of Landin s Correspondence Principle
Anindya Banerjee
,
David A. Schmidt
.
mfps 1994
:
587-602
Compositional Process Semantics of Petri Boxes
Eike Best
,
Hans-Günther Linde-Göers
.
mfps 1994
:
250-270
Some Quasi-Varieties of Iteration Theories
Stephen L. Bloom
,
Zoltán Ésik
.
mfps 1994
:
378-409
Holomorhpic Models of Exponential Types in Linear Logic
Richard Blute
,
R. A. G. Seely
,
Prakash Panangaden
.
mfps 1994
:
474-512
Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF
Stephen D. Brookes
,
Shai Geva
.
mfps 1994
:
320-332
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language
Kim B. Bruce
,
Jonathan Crabtree
,
Gerlad Kanapathy
.
mfps 1994
:
603-626
Another Approach to Sequentiality: Kleene s Unimonotone Functions
Antonio Bucciarelli
.
mfps 1994
:
333-358
Axiomatising Real-Time Processes
Liang Chen
.
mfps 1994
:
215-229
On the Symmetry of Sequentiality
Pierre-Louis Curien
.
mfps 1994
:
29-71
On the Transformation between Direct and Continuation Semantics
Olivier Danvy
,
John Hatcliff
.
mfps 1994
:
627-648
Topological Models for Higher Ordr Control Flow
J. W. de Bakker
,
Franck van Breugel
.
mfps 1994
:
122-142
Category of Delta-Functors
Adrian Fiech
.
mfps 1994
:
567-586
Probabilistic Power Domains, Information Systems, and Locales
Reinhold Heckmann
.
mfps 1994
:
410-437
Linear Domains and Linear Maps
Michael Huth
.
mfps 1994
:
438-453
A Chemical Abstract Machine for Graph Reduction
Alan Jeffrey
.
mfps 1994
:
293-303
The Asymmetric Topology of Computer Science
Ralph Kopperman
,
Bob Flagg
.
mfps 1994
:
544-553
Time Abstracted Bisimiulation: Implicit Specifications and Decidability
Kim Guldstrand Larsen
,
Wang Yi
.
mfps 1994
:
160-176
Lifting Theorems for Kleisli Categories
Philip S. Mulry
.
mfps 1994
:
304-319
On the Specification of Elementary Reactive Behaviour
G. Michele Pinna
,
Axel Poigné
.
mfps 1994
:
271-292
Computational Adequacy via Mixed Inductive Definitions
Andrew M. Pitts
.
mfps 1994
:
72-82
A Complete Axiomatisation for Trace Congruence of Finite State Behaviors
Alexander Moshe Rabinovich
.
mfps 1994
:
530-543
A Strucutral Co-Induction Theorem
Jan J. M. M. Rutten
.
mfps 1994
:
83-102
An Investigation into Functions as Processes
Davide Sangiorgi
.
mfps 1994
:
143-159
Timewise Refinement for Communicating Processes
Steve Schneider
.
mfps 1994
:
177-214
A Predicative Semantics for the Refinement of Real-Time Systems
David Scholefield
,
Hussein S. M. Zedan
,
Jifeng He
.
mfps 1994
:
230-249
Mechanizing Logical Relations
Allen Stoughton
.
mfps 1994
:
359-377
Three Metric Domains of Processes for Bisimulation
Franck van Breugel
.
mfps 1994
:
103-121
A Syntax for Linear Logic
Philip Wadler
.
mfps 1994
:
513-529
Universal Quasi-Prime Algebraic Domains
Guo-Qiang Zhang
.
mfps 1994
:
454-473
Sign in
or
sign up
to see more results.