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.

Raphaëlle Crubillé
SearchCollections
Map detail
Raphaëlle Crubillé5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipRaphaëlle CrubilléARaphaëlle CrubilléResearcherMetric Reasoning about $λ$-Terms: the Affine Case (Long Version)WMetric Reasoning about ...preprint / 2015On Feller Continuity and Full Abstraction (Long Version)WOn Feller Continuity an...preprint / 2022On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment TheoremWOn the Versatility of O...preprint / 2020On Higher-Order Cryptography (Long Version)WOn Higher-Order Cryptog...preprint / 2020
Person4 links

Raphaëlle Crubillé

Researcher

PaperMetric Reasoning about λλ-Terms: the Affine Case (Long Version)Authorship / preprint / 2015PaperOn Feller Continuity and Full Abstraction (Long Version)Authorship / preprint / 2022PaperOn the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment TheoremAuthorship / preprint / 2020PaperOn Higher-Order Cryptography (Long Version)Authorship / preprint / 2020

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)