Search Sciweavers | Sciweavers

2 search results - page 1 / 1

» tphol 1995

click to vote

TPHOL
1995
IEEE

80views Automated Reasoning» more TPHOL 1995»

Experiments with ZF Set Theory in HOL and Isabelle

13 years 11 months ago

Download www.brics.dk

Sten Agerholm, Michael J. C. Gordon

claim paper

Read More »

click to vote

TPHOL
1995
IEEE

139views Automated Reasoning» more TPHOL 1995»

HOLCF: Higher Order Logic of Computable Functions

13 years 11 months ago

Download www4.informatik.tu-muenchen.de

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 »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers