Decision Algorithms for Checking Definability of Order-2 Finitary PCF

DOI10.1007/978-3-319-26529-2_17zbMath1329.68064OpenAlexW2406645450MaRDI QIDQ3459425

Kazuyuki Asada, Sadaaki Kawata, Naoki Kobayashi

Publication date: 8 January 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-26529-2_17

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Decision Algorithms for Checking Definability of Order-2 Finitary PCF