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.

Arnaud Spiwack
SearchCollections
Map detail
Arnaud Spiwack9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipArnaud SpiwackAArnaud SpiwackResearcherLinearly Qualified Types: Generic inference for capabilities and uniquenessWLinearly Qualified Type...preprint / 2022Abstract interpretation as anti-refinementWAbstract interpretation...preprint / 2014Notes on axiomatising Hurkens's ParadoxWNotes on axiomatising H...preprint / 2015The tree machineWThe tree machinepreprint / 2015The Rooster and the Syntactic BracketWThe Rooster and the Syn...preprint / 2014Balancing lists: a proof pearlWBalancing lists: a proo...preprint / 2014A proof of strong normalisation using domain theoryWA proof of strong norma...preprint / 2007Union and intersection contracts are hard, actuallyWUnion and intersection ...preprint / 2022
Person8 links

Arnaud Spiwack

Researcher

PaperLinearly Qualified Types: Generic inference for capabilities and uniquenessAuthorship / preprint / 2022PaperAbstract interpretation as anti-refinementAuthorship / preprint / 2014PaperNotes on axiomatising Hurkens's ParadoxAuthorship / preprint / 2015PaperThe tree machineAuthorship / preprint / 2015PaperThe Rooster and the Syntactic BracketAuthorship / preprint / 2014PaperBalancing lists: a proof pearlAuthorship / preprint / 2014PaperA proof of strong normalisation using domain theoryAuthorship / preprint / 2007PaperUnion and intersection contracts are hard, actuallyAuthorship / preprint / 2022

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)