Hiroshi Nakano

Available identifiers

zbMath Open nakano.hiroshiMaRDI QIDQ230794

List of research outcomes

Publication	Date of Publication	Type
Type checking and typability in domain-free lambda calculi	2012-01-04	Paper
Invariants of Kepler's quartic curve as a model of planetary orbits	2011-11-15	Paper
Inhabitation of polymorphic and existential types	2011-08-26	Paper
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence	2008-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q5714439	2006-01-02	Paper
On a distance-regular graph of even height with \(k_e=k_f\)	2002-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4222832	1998-12-13	Paper
A constructive logic behind the catch and throw mechanism	1994-11-08	Paper

Research outcomes over time

This page was built for person: Hiroshi Nakano