Ryu Hasegawa

From MaRDI portal
Person:235606

Available identifiers

zbMath Open hasegawa.ryuMaRDI QIDQ235606

List of research outcomes





PublicationDate of PublicationType
A logical aspect of parametric polymorphism2024-06-21Paper
Parametricity of extensionally collapsed term models of polymorphism and their categorical properties2022-08-16Paper
Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic2021-05-02Paper
https://portal.mardi4nfdi.de/entity/Q58564222021-03-26Paper
https://portal.mardi4nfdi.de/entity/Q51379192020-12-03Paper
Inhabitation of polymorphic and existential types2011-08-26Paper
https://portal.mardi4nfdi.de/entity/Q45485282002-08-26Paper
Two applications of analytic functors2002-03-03Paper
https://portal.mardi4nfdi.de/entity/Q45009172001-03-04Paper
https://portal.mardi4nfdi.de/entity/Q45056322000-09-27Paper
https://portal.mardi4nfdi.de/entity/Q42175971999-03-02Paper
https://portal.mardi4nfdi.de/entity/Q43703511998-01-14Paper
Relational limits in general polymorphism1995-04-10Paper
Categorical data types in parametric polymorphism1994-03-27Paper

Research outcomes over time

This page was built for person: Ryu Hasegawa

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