Masahito Hasegawa

Available identifiers

zbMath Open hasegawa.masahitoWikidataQ102303245 ScholiaQ102303245MaRDI QIDQ1769598

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q4555337	2018-11-20	Paper
Bialgebras in Rel	2016-07-08	Paper
A sound and complete axiomatization of delimited continuations	2015-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q2847359	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

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: Masahito Hasegawa