session CCL = Pure +
description "
Author: Martin Coen, Cambridge University Computer Laboratory
Copyright 1993 University of Cambridge
Classical Computational Logic based on First-Order Logic.
A computational logic for an untyped functional language with
evaluation to weak head-normal form. "
sessions
FOL
directories "ex"
theories
Wfd
Fix
(* Examples for Classical Computational Logic *) "ex/Nat" "ex/List" "ex/Stream" "ex/Flag"
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
