scientific article; zbMATH DE number 7297819

zbMath1457.68173MaRDI QIDQ5144617

Andrei Popescu, Jasmin Christian Blanchette, Fabian Meier, Dmitriy Traytel

Publication date: 19 January 2021

Full work available at URL: http://dl.acm.org/citation.cfm?id=3330006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Higher-order logic (03B16)

Related Items (4)

A formalized general theory of syntax with bindings ⋮ Into the Infinite - Theory Exploration for Coinduction ⋮ Unnamed Item ⋮ The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them

Uses Software

• Isabelle/HOL

This page was built for publication: