C.-H. Luke Ong

Available identifiers

zbMath Open ong.c-h-lukeMaRDI QIDQ235619

List of research outcomes

Publication	Date of Publication	Type
Unboundedness and downward closures of higher-order pushdown automata	2016-10-24	Paper
On hierarchical communication topologies in the \(\pi\)-calculus	2016-04-26	Paper
Safety verification of asynchronous pushdown systems with shaped stacks	2013-08-12	Paper
Adapting innocent game models for the Böhm tree \(\lambda\)-theory	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q2778832	2002-03-21	Paper
Innocent game models of untyped \(\lambda\)-calculus	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4945241	2000-03-23	Paper

Research outcomes over time

This page was built for person: C.-H. Luke Ong