Yukiyoshi Kameyama

Available identifiers

zbMath Open kameyama.yukiyoshiMaRDI QIDQ235614

List of research outcomes

Publication	Date of Publication	Type
Unified program generation and verification: a case study on number-theoretic transform	2022-08-10	Paper
FFT program generation for ring LWE-based cryptography	2022-04-22	Paper
Language-integrated query with nested data structures and grouping	2021-07-06	Paper
One-shot algebraic effects as coroutines	2021-07-01	Paper
Refined Environment Classifiers	2016-12-21	Paper
A sound and complete axiomatization of delimited continuations	2015-07-02	Paper
Shifting the stage	2012-09-21	Paper
A Call-by-Name CPS Hierarchy	2012-07-20	Paper
Type checking and typability in domain-free lambda calculi	2012-01-04	Paper
A Direct Algorithm for Multi-valued Bounded Model Checking	2008-11-20	Paper
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence	2008-11-20	Paper
Polymorphic Delimited Continuations	2008-05-15	Paper
Typed Dynamic Control Operators for Delimited Continuations	2008-04-11	Paper
Axioms for control operators in the CPS hierarchy	2007-12-17	Paper
Computer Science Logic	2007-06-21	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4449007	2004-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4433983	2003-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4413069	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4536444	2002-11-25	Paper
Strong normalizability of the non-deterministic catch/throw calculi	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2763701	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4953359	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4703043	1999-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4703862	1999-12-01	Paper
A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS	1995-10-29	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: Yukiyoshi Kameyama