PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Asada, Kazuyuki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.

, , , und . Logical Methods in Computer Science, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Asada, Kazuyuki
Eine Person hinzufügen mit dem Namen Asada, Kazuyuki
 

Weitere Publikationen von Autoren mit dem selben Namen

Structural recursion for querying ordered graphs., , , , und . ICFP, Seite 305-318. ACM, (2013)Decision Algorithms for Checking Definability of Order-2 Finitary PCF., , und . APLAS, Volume 9458 von Lecture Notes in Computer Science, Seite 313-331. Springer, (2015)Arrows Are Strong Monads.. MSFP@ICFP, Seite 33-42. ACM, (2010)Streaming Ranked-Tree-to-String Transducers., , und . CIAA, Volume 11601 von Lecture Notes in Computer Science, Seite 235-247. Springer, (2019)Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence., , , und . CoRR, (2018)Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence., , , und . Logical Methods in Computer Science, (2019)The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics., , und . CoRR, (2015)Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence., , , und . FoSSaCS, Volume 10203 von Lecture Notes in Computer Science, Seite 53-68. (2017)Pumping Lemma for Higher-order Languages., und . ICALP, Volume 80 von LIPIcs, Seite 97:1-97:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered., und . FSTTCS, Volume 122 von LIPIcs, Seite 14:1-14:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)