bibliographer - Kazuyuki Asada

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs Takeshi Tsukada Kazuyuki Asada C.-H. Luke Ong [github]

Size-Preserving Translations from Order-(n+1) Word Grammars to Order-n Tree Grammars Kazuyuki Asada Naoki Kobayashi [github]

Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered Kazuyuki Asada Naoki Kobayashi [github]

Pumping Lemma for Higher-order Languages Kazuyuki Asada Naoki Kobayashi [github]

On Word and Frontier Languages of Unsafe Higher-Order Grammars Kazuyuki Asada Naoki Kobayashi [github]

Verifying Relational Properties of Functional Programs by First-Order Refinement Kazuyuki Asada Ryosuke Sato Naoki Kobayashi [github]

Decision Algorithms for Checking Definability of Order-2 Finitary PCF Sadaaki Kawata Kazuyuki Asada Naoki Kobayashi [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]