Eijiro Sumii

From MaRDI portal
Person:238499

Available identifiers

zbMath Open sumii.eijiroMaRDI QIDQ238499

List of research outcomes

PublicationDate of PublicationType
Formal verification of the correspondence between call-by-need and call-by-name2018-07-09Paper
A bisimulation for type abstraction and recursion2017-07-14Paper
A Higher-Order Distributed Calculus with Name Creation2017-05-16Paper
A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc2016-12-21Paper
From Applicative to Environmental Bisimulation2016-07-15Paper
A bisimulation for dynamic sealing2015-11-11Paper
Sound Bisimulations for Higher-Order Distributed Process Calculus2011-05-19Paper
A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation2011-01-07Paper
A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References2009-11-12Paper
A Theory of Non-monotone Memory (Or: Contexts for free)2009-03-31Paper
A bisimulation for type abstraction and recursion2008-12-21Paper
Logical Bisimulations and Functional Languages2008-07-01Paper
A bisimulation for dynamic sealing2007-05-11Paper
https://portal.mardi4nfdi.de/entity/Q57144342006-01-02Paper
https://portal.mardi4nfdi.de/entity/Q44521282004-02-11Paper
https://portal.mardi4nfdi.de/entity/Q44185702003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44091682003-06-30Paper
https://portal.mardi4nfdi.de/entity/Q45366232002-06-25Paper
A hybrid approach to online and offline partial evaluation2002-03-14Paper
https://portal.mardi4nfdi.de/entity/Q42230211999-01-10Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Eijiro Sumii