Tom Hirschowitz

Available identifiers

zbMath Open hirschowitz.tomMaRDI QIDQ848737

List of research outcomes

Publication	Date of Publication	Type
Variable binding and substitution for (nameless) dummies	2024-03-11	Paper
Variable binding and substitution for (nameless) dummies	2024-01-23	Paper
A more general categorical framework for congruence of applicative bisimilarity	2023-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5101336	2022-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q5089017	2022-07-18	Paper
A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on	2022-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q3385646	2021-12-20	Paper
A Cellular Howe Theorem	2021-01-21	Paper
What's in a game?	2021-01-20	Paper
Modules over monads and operational semantics (expanded version)	2020-12-11	Paper
Cellular Monads from Positive GSOS Specifications	2019-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q5382449	2019-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4621160	2019-02-08	Paper
Simple game semantics and Day convolution	2018-10-16	Paper
Shapely monads and analytic functors	2018-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4580205	2018-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4596786	2017-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q5277842	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q5275345	2017-07-11	Paper
Contraction-free Proofs and Finitary Games for Linear Logic	2016-05-10	Paper
Saturating directed spaces	2015-02-17	Paper
Full abstraction for fair testing in CCS (expanded version)	2014-11-13	Paper
Full Abstraction for Fair Testing in CCS	2013-09-13	Paper
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting	2013-09-06	Paper
Compilation of extended recursion in call-by-value functional languages	2010-03-05	Paper
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs	2009-10-22	Paper
A Theory for Game Theories	2008-04-24	Paper
Programming Languages and Systems	2007-09-28	Paper
Functional and Logic Programming	2007-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4738342	2004-08-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tom Hirschowitz