Ryu Hasegawa

Available identifiers

zbMath Open hasegawa.ryuMaRDI QIDQ235606

List of research outcomes

Publication	Date of Publication	Type
Parametricity of extensionally collapsed term models of polymorphism and their categorical properties	2022-08-16	Paper
Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic	2021-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q5856422	2021-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q5137919	2020-12-03	Paper
Inhabitation of polymorphic and existential types	2011-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4548528	2002-08-26	Paper
Two applications of analytic functors	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4500917	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4505632	2000-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4217597	1999-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q4370351	1998-01-14	Paper
Relational limits in general polymorphism	1995-04-10	Paper
Categorical data types in parametric polymorphism	1994-03-27	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: Ryu Hasegawa