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.

Aleš Bizjak
SearchCollections
Map detail
Aleš Bizjak7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAleš BizjakAAleš BizjakResearcherDenotational semantics for guarded dependent type theoryWDenotational semantics ...preprint / 2020Step-Indexed Logical Relations for Probability (long version)WStep-Indexed Logical Re...preprint / 2015Guarded Dependent Type Theory with Coinductive TypesWGuarded Dependent Type ...preprint / 2016Programming and Reasoning with Guarded Recursion for Coinductive TypesWProgramming and Reasoni...preprint / 2015Step-Indexed Relational Reasoning for Countable NondeterminismWStep-Indexed Relational...preprint / 2013Guarded Cubical Type Theory: Path Equality for Guarded RecursionWGuarded Cubical Type Th...preprint / 2016
Person6 links

Aleš Bizjak

Researcher

PaperDenotational semantics for guarded dependent type theoryAuthorship / preprint / 2020PaperStep-Indexed Logical Relations for Probability (long version)Authorship / preprint / 2015PaperGuarded Dependent Type Theory with Coinductive TypesAuthorship / preprint / 2016PaperProgramming and Reasoning with Guarded Recursion for Coinductive TypesAuthorship / preprint / 2015PaperStep-Indexed Relational Reasoning for Countable NondeterminismAuthorship / preprint / 2013PaperGuarded Cubical Type Theory: Path Equality for Guarded RecursionAuthorship / 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)