Theorem proving for untyped constructive \(\lambda\)-calculus: Implementation and application
type: Item
instance of: scholarly article
zbMATH Open document ID: 0970.68160
author: Allan Ramsay
publication date: 2001-10-24T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 1588167
zbMATH Keywords: theorem prover
zbMATH Keywords: highly intensional logic
zbMATH Keywords: \(\lambda\)-calculus
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/jigpal/9.1.83
OpenAlex ID: W2026352253
DOI: 10.1093/JIGPAL/9.1.83
published in: Logic Journal of the IGPL
title: Theorem proving for untyped constructive \(\lambda\)-calculus: Implementation and application
description: scientific article