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.

Jan Schwinghammer
SearchCollections
Map detail
Jan Schwinghammer5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipJan SchwinghammerAJan SchwinghammerResearcherNested Hoare Triples and Frame Rules for Higher-order StoreWNested Hoare Triples an...preprint / 2011A Step-indexed Semantics of Imperative ObjectsWA Step-indexed Semantic...preprint / 2009First 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 / 2013
Person4 links

Jan Schwinghammer

Researcher

PaperNested Hoare Triples and Frame Rules for Higher-order StoreAuthorship / preprint / 2011PaperA Step-indexed Semantics of Imperative ObjectsAuthorship / preprint / 2009PaperFirst steps in synthetic guarded domain theory: step-indexing in the topos of treesAuthorship / preprint / 2012PaperStep-Indexed Relational Reasoning for Countable NondeterminismAuthorship / preprint / 2013

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)