Sachio Hirokawa

Available identifiers

zbMath Open hirokawa.sachioMaRDI QIDQ1075051

List of research outcomes

Publication	Date of Publication	Type
Principal type-schemes of BCI-lambda-terms	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5446130	2008-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q3044559	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736034	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4736081	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4449007	2004-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4424039	2003-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4420683	2003-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q2757812	2001-12-04	Paper
A lambda proof of the P-W theorem	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q2703714	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4490744	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4703862	1999-12-01	Paper
Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete	1999-01-12	Paper
A reduction rule for Peirce formula	1997-03-11	Paper
Normal proofs and their grammar	1997-01-12	Paper
The proofs of α → α in P – W	1996-06-02	Paper
The Relevance Graph of a BCK-Formula	1994-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4282572	1994-03-17	Paper
The number of proofs for a BCK-formula	1993-10-24	Paper
Principal types of BCK-lambda-terms	1993-05-16	Paper
The converse principal type-scheme theorem in lambda calculus	1992-09-27	Paper
PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS	1992-06-28	Paper
One-step recurrent terms in \(\lambda\)-\(\beta\)-calculus	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783263	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3784043	1987-01-01	Paper
Complexity of the combinator reduction machine	1985-01-01	Paper
A NOTE ON THE REGURALITY OF FUZZY LANGUAGES	1978-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: Sachio Hirokawa