scientific article; zbMATH DE number 7324384
From MaRDI portal
Publication:5854733
zbMath1457.68058arXiv1202.3496MaRDI QIDQ5854733
Publication date: 17 March 2021
Full work available at URL: https://arxiv.org/abs/1202.3496
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (8)
Size-based termination of higher-order rewriting ⋮ Is sized typing for Coq practical? ⋮ Polarized subtyping ⋮ Well-founded recursion with copatterns and sized types ⋮ Interactive programming in Agda – Objects and graphical user interfaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A case study in programming coinductive proofs: Howe’s method
This page was built for publication:
