Showing 1 - 5 results of 5 for search 'Pierre Clairambault', query time: 0.02s
Refine Results
-
1
Isomorphisms of types in the presence of higher-order references (extended version) by Pierre Clairambault
Published 2012-08-01
Article -
2
Bounding linear head reduction and visible interaction through skeletons by Pierre Clairambault
Published 2015-06-01
Article -
3
Thin Games with Symmetry and Concurrent Hyland-Ong Games by Simon Castellan, Pierre Clairambault, Glynn Winskel
Published 2019-03-01
Article -
4
Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version) by Simon Castellan, Pierre Clairambault, Peter Dybjer
Published 2017-11-01
Article -
5
Games and Strategies as Event Structures by Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
Published 2017-09-01
Article