TPHOL 1995 | Sciweavers

TPHOL
1995
IEEE

139views Automated Reasoning» more TPHOL 1995»

HOLCF: Higher Order Logic of Computable Functions

13 years 8 months ago

This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...

Franz Regensburger

claim paper

Read More »

click to vote

TPHOL
1995
IEEE

80views Automated Reasoning» more TPHOL 1995»

Experiments with ZF Set Theory in HOL and Isabelle

13 years 8 months ago

Download www.brics.dk

Sten Agerholm, Michael J. C. Gordon

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers