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.

Damiano Mazza
SearchCollections
Map detail
Damiano Mazza8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDamiano MazzaADamiano MazzaResearcherAutomatic Differentiation in PCFWAutomatic Differentiati...preprint / 2021Observational Equivalence and Full Abstraction in the Symmetric Interaction CombinatorsWObservational Equivalen...preprint / 2009Linear Logic by Levels and Bounded Time ComplexityWLinear Logic by Levels ...preprint / 2009An Abstract Approach to Stratification in Linear LogicWAn Abstract Approach to...preprint / 2013Computational Complexity of Interactive BehaviorsWComputational Complexit...preprint / 2012Distilling Abstract Machines (Long Version)WDistilling Abstract Mac...preprint / 2014A Strong DistilleryWA Strong Distillerypreprint / 2016
Person7 links

Damiano Mazza

Researcher

PaperAutomatic Differentiation in PCFAuthorship / preprint / 2021PaperObservational Equivalence and Full Abstraction in the Symmetric Interaction CombinatorsAuthorship / preprint / 2009PaperLinear Logic by Levels and Bounded Time ComplexityAuthorship / preprint / 2009PaperAn Abstract Approach to Stratification in Linear LogicAuthorship / preprint / 2013PaperComputational Complexity of Interactive BehaviorsAuthorship / preprint / 2012PaperDistilling Abstract Machines (Long Version)Authorship / preprint / 2014PaperA Strong DistilleryAuthorship / 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)