Mechanizing coinduction and corecursion in higher-order logic
type: Item
instance of: scholarly article
title: Mechanizing coinduction and corecursion in higher-order logic
zbMATH Open document ID: 0878.68111
publication date: 1997-12-14T00:00:00Z
full work available at URL: https://www.repository.cam.ac.uk/handle/1810/276436
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1019357
zbMATH Keywords: higher-order logic
zbMATH Keywords: Isabelle
author: Lawrence C. Paulson
describes a project that uses: TPS
describes a project that uses: Isabelle/ZF
describes a project that uses: Isabelle
MaRDI profile type: Publication
OpenAlex ID: W2053068669
DOI: 10.1093/LOGCOM/7.2.175
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 1019357