Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Coauthors
(2)
Peter Dybjer
1
Russell S. Harmer
1
Conferences
(2)
LICS
1
FoSSaCS
1
Journals
(2)
APAL
1
CORR
1
Keywords
(10)
Embed
Subscribe
Academic
Authors
Pierre Clairambault
Pierre Clairambault,University of Bath,Algorithms & Theory,Mathematics,Software Engineering
Edit
Pierre Clairambault
University of Bath
Publications:
5

Citations:
5
Fields:
Algorithms & Theory
,
Mathematics
,
Software Engineering
View FAQ about top research areas and Fields of study
Collaborated with
2 coauthors
from 2009 to 2011

Cited by
6 authors
Cumulative
Annual
Sort by:
Publications
(5)
BibTeX

RIS

RefWorks
Download
Isomorphisms of Types in the Presence of HigherOrder References
Pierre Clairambault
Conference:
Logic in Computer Science  LICS
, pp. 152161, 2011
Estimation of the Length of Interactions in Arena Game Semantics
Pierre Clairambault
Conference:
Foundations of Software Science and Computation Structure  FoSSaCS
, pp. 335349, 2011
Totality in arena games
(
Citations: 2
)
Pierre Clairambault
,
Russ Harmer
Journal:
Annals of Pure and Applied Logic  APAL
, vol. 161, no. 5, pp. 673689, 2010
Least and Greatest Fixpoints in Game Semantics
(
Citations: 3
)
Pierre Clairambault
Journal:
Computing Research Repository  CORR
, vol. abs/1001.0, pp. 1631, 2009
The Biequivalence of Locally Cartesian Closed Categories and MartinLöf Type Theories
Pierre Clairambault
,
Peter Dybjer
Sort by:
Citations
(5 times by 5 publications)
Imperative Programs as Proofs via Game Semantics
Martin Churchill
,
James Laird
,
Guy McCusker
Conference:
Logic in Computer Science  LICS
, pp. 6574, 2011
Estimation of the Length of Interactions in Arena Game Semantics
Pierre Clairambault
Conference:
Foundations of Software Science and Computation Structure  FoSSaCS
, pp. 335349, 2011
Infinitary Completeness in Ludics
Michele Basaldella
,
Kazushige Terui
Conference:
Logic in Computer Science  LICS
, pp. 294303, 2010
Least and Greatest Fixpoints in Game Semantics
(
Citations: 3
)
Pierre Clairambault
Journal:
Computing Research Repository  CORR
, vol. abs/1001.0, pp. 1631, 2009
Least and greatest fixed points in linear logic
(
Citations: 1
)
David Baelde
Journal:
Computing Research Repository  CORR
, vol. abs/0910.3, 2009
Comments