Tom Hirschowitz

From MaRDI portal
Person:848737

Available identifiers

zbMath Open hirschowitz.tomMaRDI QIDQ848737

List of research outcomes





PublicationDate of PublicationType
Variable binding and substitution for (nameless) dummies2024-03-11Paper
Variable binding and substitution for (nameless) dummies2024-01-23Paper
A more general categorical framework for congruence of applicative bisimilarity2023-03-21Paper
https://portal.mardi4nfdi.de/entity/Q51013362022-08-30Paper
https://portal.mardi4nfdi.de/entity/Q50890172022-07-18Paper
A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on2022-04-08Paper
https://portal.mardi4nfdi.de/entity/Q33856462021-12-20Paper
A Cellular Howe Theorem2021-01-21Paper
What's in a game?2021-01-20Paper
Modules over monads and operational semantics (expanded version)2020-12-11Paper
Cellular Monads from Positive GSOS Specifications2019-08-29Paper
https://portal.mardi4nfdi.de/entity/Q53824492019-06-17Paper
https://portal.mardi4nfdi.de/entity/Q46211602019-02-08Paper
Simple game semantics and Day convolution2018-10-16Paper
Shapely monads and analytic functors2018-09-28Paper
https://portal.mardi4nfdi.de/entity/Q45802052018-08-13Paper
https://portal.mardi4nfdi.de/entity/Q45967862017-12-11Paper
Wild omega-Categories for the Homotopy Hypothesis in Type Theory2017-07-12Paper
https://portal.mardi4nfdi.de/entity/Q52753452017-07-11Paper
Contraction-free proofs and finitary games for linear logic2016-05-10Paper
Saturating directed spaces2015-02-17Paper
Full abstraction for fair testing in CCS (expanded version)2014-11-13Paper
Full Abstraction for Fair Testing in CCS2013-09-13Paper
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting2013-09-06Paper
Compilation of extended recursion in call-by-value functional languages2010-03-05Paper
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs2009-10-22Paper
A Theory for Game Theories2008-04-24Paper
Programming Languages and Systems2007-09-28Paper
Functional and Logic Programming2007-09-25Paper
https://portal.mardi4nfdi.de/entity/Q47383422004-08-11Paper

Research outcomes over time

This page was built for person: Tom Hirschowitz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:848737&oldid=6738789"
Powered by MediaWiki