BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Thomas Ehrhard
SearchCollections
Map detail
Thomas Ehrhard12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipThomas EhrhardAThomas EhrhardResearcherUpper approximating probabilities of convergence in probabilistic coherence spacesWUpper approximating pro...preprint / 2020On the linear structure of conesWOn the linear structure...preprint / 2020A finiteness structure on resource termsWA finiteness structure ...preprint / 2010CCS for TreesWCCS for Treespreprint / 2013Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor ExpansionWFull Abstraction for th...preprint / 2012Acyclic Solos and Differential Interaction NetsWAcyclic Solos and Diffe...preprint / 2010Full abstraction for probabilistic PCFWFull abstraction for pr...preprint / 2015An introduction to Differential Linear Logic: proof-nets, models and antiderivativesWAn introduction to Diff...preprint / 2016A convenient differential categoryWA convenient differenti...preprint / 2010The stack calculusWThe stack calculuspreprint / 2013A Fully Abstract Semantics for Value-passing CCS for TreesWA Fully Abstract Semant...preprint / 2016
Person11 links

Thomas Ehrhard

Researcher

PaperUpper approximating probabilities of convergence in probabilistic coherence spacesAuthorship / preprint / 2020PaperOn the linear structure of conesAuthorship / preprint / 2020PaperA finiteness structure on resource termsAuthorship / preprint / 2010PaperCCS for TreesAuthorship / preprint / 2013PaperFull Abstraction for the Resource Lambda Calculus with Tests, through Taylor ExpansionAuthorship / preprint / 2012PaperAcyclic Solos and Differential Interaction NetsAuthorship / preprint / 2010PaperFull abstraction for probabilistic PCFAuthorship / preprint / 2015PaperAn introduction to Differential Linear Logic: proof-nets, models and antiderivativesAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)