Susumu Hayashi

Available identifiers

zbMath Open hayashi.susumuMaRDI QIDQ235608

List of research outcomes

Publication	Date of Publication	Type
Logic of refinement types	2023-12-08	Paper
Singleton, union and intersection types for program extraction	2022-08-16	Paper
Games with 1-backtracking	2011-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q3593497	2007-07-20	Paper
Mathematics based on incremental learning -- excluded middle and inductive inference	2006-03-20	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736394	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4420630	2003-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4420735	2003-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4411811	2003-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4546091	2002-08-18	Paper
Towards the animation of proofs -- testing proofs by examples	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2742626	2001-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q4222832	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4217580	1998-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4348037	1997-11-05	Paper
A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE	1995-12-03	Paper
Singleton, union, and intersection types for program extraction	1994-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q4694210	1993-06-29	Paper
Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus	1985-01-01	Paper
Self-similar sets as Tarski's fixed points	1985-01-01	Paper
Extracting Lisp programs from constructive proofs: A formal theory of constructive mathematics based on Lisp	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3659778	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3963000	1981-01-01	Paper
Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3852178	1979-01-01	Paper
A note on provable well-orderings in first order systems with infinitary inference rules	1977-01-01	Paper
Some derived rules of intuitionistic second order arithmetic	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4198752	1977-01-01	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: Susumu Hayashi