Research

Items by Clairambault, Pierre

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2011
Number of items: 3.

2011

Clairambault, P., 2011. Estimation of the length of interactions in arena game semantics. In: Foundations of Software Science and Computational Structures - 14th Int. Conf., FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. Vol. 6604 LNCS. Heidelberg: Springer-Verlag, pp. 335-349. (Lecture Notes in Computer Science)

Clairambault, P., 2011. Isomorphisms of types in the presence of higher-order references. In: 2011 IEEE 26th Annual Symposium on Logic in Computer Science. Piscataway, NJ: IEEE, pp. 152-161.

Clairambault, P. and Dybjer, P., 2011. The biequivalence of locally cartesian closed categories and martin-lof type theories. In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Proceedings. Vol. 6690 LNCS. Heidelberg: Springer-Verlag, pp. 91-106. (Lecture Notes in Computer Science)

This list was generated on Mon Apr 21 00:38:54 2014 IST.