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.

Marcelo Fiore
SearchCollections
Map detail
Marcelo Fiore13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMarcelo FioreAMarcelo FioreResearcherFormal Metatheory of Second-Order Abstract SyntaxWFormal Metatheory of Se...preprint / 2022Constructing Infinitary Quotient-Inductive TypesWConstructing Infinitary...preprint / 2020Semantic Analysis of Normalisation by Evaluation for Typed Lambda CalculusWSemantic Analysis of No...preprint / 2022An abstract characterization of Thompson's group FWAn abstract characteriz...preprint / 2010Objects of Categories as Complex NumbersWObjects of Categories a...preprint / 2002The Algebra of Directed Acyclic GraphsWThe Algebra of Directed...preprint / 2013An Equational Metalogic for Monadic Equational SystemsWAn Equational Metalogic...preprint / 2013Second-Order Algebraic TheoriesWSecond-Order Algebraic ...preprint / 2013Analytic functors between presheaf categories over groupoidsWAnalytic functors betwe...preprint / 2013Functorial Semantics of Second-Order Algebraic TheoriesWFunctorial Semantics of...preprint / 2014On the mathematical synthesis of equational logicsWOn the mathematical syn...preprint / 2011Algebraic models of simple type theories: a polynomial approachWAlgebraic models of sim...preprint / 2020
Person12 links

Marcelo Fiore

Researcher

PaperFormal Metatheory of Second-Order Abstract SyntaxAuthorship / preprint / 2022PaperConstructing Infinitary Quotient-Inductive TypesAuthorship / preprint / 2020PaperSemantic Analysis of Normalisation by Evaluation for Typed Lambda CalculusAuthorship / preprint / 2022PaperAn abstract characterization of Thompson's group FAuthorship / preprint / 2010PaperObjects of Categories as Complex NumbersAuthorship / preprint / 2002PaperThe Algebra of Directed Acyclic GraphsAuthorship / preprint / 2013PaperAn Equational Metalogic for Monadic Equational SystemsAuthorship / preprint / 2013PaperSecond-Order Algebraic TheoriesAuthorship / 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)