Foundational (co)datatypes and (co)recursion for higher-order logic
type: Item
instance of: scholarly article
title: Foundational (co)datatypes and (co)recursion for higher-order logic
zbMATH Open document ID: 1495.68238
DOI: 10.1007/978-3-319-66167-4_1
author: Julian Biendarra
author: Jasmin Christian Blanchette
author: Aymeric Bouzy
author: Martin Desharnais
author: Mathias Fleury
author: Johannes Hölzl
author: Ondřej Kunčar
author: Andreas Lochbihler
author: Fabian Meier
author: Lorenz Panny
author: Andrei Popescu
author: Christian Sternagel
author: René Thiemann
author: Dmitriy Traytel
publication date: 2018-01-04T00:00:00Z
full work available at URL: BiendarraBlanchetteEtAl-FroCos.pdf
Mathematics Subject Classification ID: 68V15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6821624
describes a project that uses: Isar
describes a project that uses: Kodkod
describes a project that uses: Nested Multisets
describes a project that uses: Isabelle/HOL
describes a project that uses: Coq
describes a project that uses: Nitpick
describes a project that uses: z3
describes a project that uses: Jinja Threads
describes a project that uses: Coinductive
describes a project that uses: Knuth Bendix Orders
describes a project that uses: Deriving class
describes a project that uses: Abstract Completeness
describes a project that uses: Markov Models
MaRDI profile type: Publication
OpenAlex ID: W2746677766
description: scientific article; zbMATH DE number 6821624