Ken-etsu Fujita

Available identifiers

zbMath Open fujita.ken-etsuMaRDI QIDQ402116

List of research outcomes

Publication	Date of Publication	Type
The existential fragment of second-order propositional intuitionistic logic is undecidable	2024-03-20	Paper
Z property for the shuffling calculus	2023-02-28	Paper
Confluence proofs of lambda-mu-calculi by Z theorem	2021-12-27	Paper
A formal system of reduction paths for parallel reduction	2020-04-21	Paper
Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic	2020-01-24	Paper
The Church-Rosser theorem and quantitative analysis of witnesses	2018-12-03	Paper
Compositional Z: confluence proofs for permutative conversion	2017-03-02	Paper
Decidable structures between Church-style and Curry-style	2017-02-01	Paper
Reduction rules for intuitionistic \(\lambda\rho\)-calculus	2015-12-07	Paper
A note on subject reduction in \((\to, \exists)\)-Curry with respect to complete developments	2015-06-25	Paper
Existential type systems between Church and Curry style (type-free style)	2014-08-27	Paper
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types	2012-11-27	Paper
THE UNDECIDABILITY OF TYPE RELATED PROBLEMS IN TYPE -FREE STYLE SYSTEM F	2012-04-25	Paper
Inhabitation of polymorphic and existential types	2011-08-26	Paper
CPS-translation as adjoint	2009-12-15	Paper
Existential Type Systems with No Types in Terms	2009-07-07	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4457453	2004-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4454862	2004-03-08	Paper
An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4806298	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4536445	2002-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4548266	2002-08-26	Paper
Domain-free \(\lambda\mu\)-calculus	2001-12-12	Paper
Multiple-conclusion system as communication calculus---informal meaning of proofs as communication terms	2001-09-23	Paper
On proof terms and embeddings of classical substructural logics	2001-06-13	Paper
A binary-conclusion natural deduction system	2001-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4499286	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4705613	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4703143	1999-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4704074	1999-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4263869	1999-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4217956	1999-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4370352	1998-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q3126937	1997-04-03	Paper
On the adequacy of representing higher order intuitionistic logic as a pure type system	1992-09-27	Paper

Research outcomes over time

This page was built for person: Ken-etsu Fujita