Masahito Hasegawa

Available identifiers

zbMath Open hasegawa.masahitoWikidataQ102303245 ScholiaQ102303245MaRDI QIDQ1769598

List of research outcomes

Publication	Date of Publication	Type
A braided lambda calculus	2025-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q6201705	2024-03-25	Paper
Traced Monads and Hopf Monads	2023-12-08	Paper
Decomposing typed lambda calculus into a couple of categorical programming languages	2022-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q5018485	2021-12-20	Paper
Linear exponential comonads without symmetry	2021-12-08	Paper
Linear distributivity with negation, star-autonomy, and Hopf monads	2018-11-20	Paper
Bialgebras in Rel	2016-07-08	Paper
A sound and complete axiomatization of delimited continuations	2015-07-02	Paper
Traced *-autonomous categories are compact closed	2013-09-04	Paper
The uniformity principle on traced monoidal categories	2013-08-16	Paper
A quantum double construction in Rel.	2012-09-06	Paper
A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories	2010-01-28	Paper
Small-step and big-step semantics for call-by-need	2009-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q3633216	2009-06-18	Paper
On traced monoidal closed categories	2009-05-06	Paper
A Terminating and Confluent Linear Lambda Calculus	2008-09-25	Paper
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories	2008-03-25	Paper
Relational Parametricity and Control	2007-10-11	Paper
Functional and Logic Programming	2007-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q3413926	2006-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q3024908	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4681366	2005-06-23	Paper
Classical linear logic of implications	2005-05-06	Paper
The uniformity principle on traced monoidal categories	2005-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q4457457	2004-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4411841	2003-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4409158	2003-06-30	Paper
Axioms for recursion in call-by-value	2003-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q2769433	2002-02-05	Paper
Girard translation and logical predicates	2000-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4936346	2000-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q4263871	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4218924	1999-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4364401	1997-11-17	Paper

Research outcomes over time

This page was built for person: Masahito Hasegawa