Susumu Hayashi

From MaRDI portal
Person:235608

Available identifiers

zbMath Open hayashi.susumuMaRDI QIDQ235608

List of research outcomes





PublicationDate of PublicationType
Logic of refinement types2023-12-08Paper
Singleton, union and intersection types for program extraction2022-08-16Paper
Games with 1-backtracking2011-08-26Paper
Can proofs be animated by games?2007-07-20Paper
Mathematics based on incremental learning -- excluded middle and inductive inference2006-03-20Paper
Typed Lambda Calculi and Applications2005-11-11Paper
https://portal.mardi4nfdi.de/entity/Q47363942004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44207352003-08-18Paper
https://portal.mardi4nfdi.de/entity/Q44206302003-08-18Paper
https://portal.mardi4nfdi.de/entity/Q44118112003-07-10Paper
https://portal.mardi4nfdi.de/entity/Q45460912002-08-18Paper
Towards the animation of proofs -- testing proofs by examples2002-03-03Paper
Formalized mathematics, proof animation, and limit computable mathematics2001-09-23Paper
https://portal.mardi4nfdi.de/entity/Q42228321998-12-13Paper
https://portal.mardi4nfdi.de/entity/Q42175801998-11-11Paper
https://portal.mardi4nfdi.de/entity/Q43480371997-11-05Paper
A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE1995-12-03Paper
Singleton, union, and intersection types for program extraction1994-05-05Paper
https://portal.mardi4nfdi.de/entity/Q46942101993-06-29Paper
Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus1985-01-01Paper
Self-similar sets as Tarski's fixed points1985-01-01Paper
Extracting Lisp programs from constructive proofs: A formal theory of constructive mathematics based on Lisp1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36597781982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39630001981-01-01Paper
Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38521781979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41987521977-01-01Paper
Some derived rules of intuitionistic second order arithmetic1977-01-01Paper
A note on provable well-orderings in first order systems with infinitary inference rules1977-01-01Paper

Research outcomes over time

This page was built for person: Susumu Hayashi

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