Search results for: Susumu Hayashi
Lecture Notes in Computer Science > «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications > Methodology > 395-409
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Completeness Theorems and λ-Calculus > 11-22
Annals of Pure and Applied Logic > 2010 > 161 > 10 > 1254-1269
Theoretical Computer Science > 2006 > 350 > 1 > 125-139
Theoretical Computer Science > 2002 > 272 > 1-2 > 177-195