`Travelled to:`

1 × Austria

1 × Croatia

1 × Denmark

1 × Germany

1 × Switzerland

1 × USA

1 × United Kingdom

3 × Italy

`Collaborated with:`

∅ S.Staton S.B.Lassen R.Perera U.A.Acar J.Cheney J.Adámek S.Milius N.Bowler

`Talks about:`

program (2) bisimul (2) normal (2) valu (2) type (2) form (2) call (2) polymorph (1) coproduct (1) coalgebra (1)

## Person: Paul Blain Levy

### DBLP: Levy:Paul_Blain

### Contributed to:

### Wrote 11 papers:

- LICS-CSL-2014-LevyS #game studies
- Transition systems over games (PBL, SS), p. 10.
- POPL-2013-StatonL #programming language
- Universal properties of impure programming languages (SS, PBL), pp. 179–192.
- ICFP-2012-PereraACL #functional #source code
- Functional programs that explain their work (RP, UAA, JC, PBL), pp. 365–376.
- LICS-2012-AdamekMBL #monad #set
- Coproducts of Monads on Set (JA, SM, NB, PBL), pp. 45–54.
- FoSSaCS-2011-Levy #algebra #similarity
- Similarity Quotients as Final Coalgebras (PBL), pp. 27–41.
- LICS-2008-LassenL #bisimulation #morphism #normalisation #parametricity #polymorphism
- Typed Normal Form Bisimulation for Parametric Polymorphism (SBL, PBL), pp. 341–352.
- CSL-2007-LassenL #bisimulation #normalisation
- Typed Normal Form Bisimulation (SBL, PBL), pp. 283–297.
- ICALP-v2-2006-Levy #λ-calculus
- Jumbo λ-Calculus (PBL), pp. 444–455.
- CSL-2002-Levy #call-by #semantics
- Possible World Semantics for General Storage in Call-By-Value (PBL), pp. 232–246.
- TLCA-1999-Levy #call-by #named #paradigm
- Call-by-Push-Value: A Subsuming Paradigm (PBL), pp. 228–242.
- POPL-2017-Levy #morphism
- Contextual isomorphisms (PBL), pp. 400–414.