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.

Tom Hirschowitz
SearchCollections
Map detail
Tom Hirschowitz11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTom HirschowitzATom HirschowitzResearcherA unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so onWA unified treatment of ...preprint / 2022Compilation of extended recursion in call-by-value functional languagesWCompilation of extended...preprint / 2009Proceedings Types for Proofs and Programs, Revised Selected PapersWProceedings Types for P...preprint / 2011Innocent strategies as presheaves and interactive equivalences for CCSWInnocent strategies as ...preprint / 2011Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)WInnocent strategies as ...preprint / 2012Full abstraction for fair testing in CCSWFull abstraction for fa...preprint / 2013Cartesian closed 2-categories and permutation equivalence in higher-order rewritingWCartesian closed 2-cate...preprint / 2013Full abstraction for fair testing in CCS (expanded version)WFull abstraction for fa...preprint / 2014Fully-abstract concurrent games for piWFully-abstract concurre...preprint / 2013Saturating directed spacesWSaturating directed spacespreprint / 2012
Person10 links

Tom Hirschowitz

Researcher

PaperA unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so onAuthorship / preprint / 2022PaperCompilation of extended recursion in call-by-value functional languagesAuthorship / preprint / 2009PaperProceedings Types for Proofs and Programs, Revised Selected PapersAuthorship / preprint / 2011PaperInnocent strategies as presheaves and interactive equivalences for CCSAuthorship / preprint / 2011PaperInnocent strategies as presheaves and interactive equivalences for CCS (expanded version)Authorship / preprint / 2012PaperFull abstraction for fair testing in CCSAuthorship / preprint / 2013PaperCartesian closed 2-categories and permutation equivalence in higher-order rewritingAuthorship / preprint / 2013PaperFull abstraction for fair testing in CCS (expanded version)Authorship / preprint / 2014

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)