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.

Lars Birkedal
SearchCollections
Map detail
Lars Birkedal13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLars BirkedalALars BirkedalResearcherModal Dependent Type Theory and Dependent Right AdjointsWModal Dependent Type Th...preprint / 2019First steps in synthetic guarded domain theory: step-indexing in the topos of treesWFirst steps in syntheti...preprint / 2012Step-Indexed Relational Reasoning for Countable NondeterminismWStep-Indexed Relational...preprint / 2013Relational Parametricity and Separation LogicWRelational Parametricit...preprint / 2008Guarded Cubical Type Theory: Path Equality for Guarded RecursionWGuarded Cubical Type Th...preprint / 2016Step-Indexed Logical Relations for Probability (long version)WStep-Indexed Logical Re...preprint / 2015Nested Hoare Triples and Frame Rules for Higher-order StoreWNested Hoare Triples an...preprint / 2011Two for the Price of One: Lifting Separation Logic AssertionsWTwo for the Price of On...preprint / 2012Client-Server Sessions in Linear LogicWClient-Server Sessions ...preprint / 2021Compositional Non-Interference for Fine-Grained Concurrent ProgramsWCompositional Non-Inter...preprint / 2020Logical Step-Indexed Logical RelationsWLogical Step-Indexed Lo...preprint / 2011Programming and Reasoning with Guarded Recursion for Coinductive TypesWProgramming and Reasoni...preprint / 2015
Person12 links

Lars Birkedal

Researcher

PaperModal Dependent Type Theory and Dependent Right AdjointsAuthorship / preprint / 2019PaperFirst steps in synthetic guarded domain theory: step-indexing in the topos of treesAuthorship / preprint / 2012PaperStep-Indexed Relational Reasoning for Countable NondeterminismAuthorship / preprint / 2013PaperRelational Parametricity and Separation LogicAuthorship / preprint / 2008PaperGuarded Cubical Type Theory: Path Equality for Guarded RecursionAuthorship / preprint / 2016PaperStep-Indexed Logical Relations for Probability (long version)Authorship / preprint / 2015PaperNested Hoare Triples and Frame Rules for Higher-order StoreAuthorship / preprint / 2011PaperTwo for the Price of One: Lifting Separation Logic AssertionsAuthorship / preprint / 2012

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)