A MECHANIZED THEORY OF THE -CALCULUS IN HOL

A MECHANIZED THEORY OF THE -CALCULUS IN HOLShort Description
mechanization of the ?-calculus is a purely definitional theory …… for the ?-calculus. This theory consists of a collection of simple facts about …

Website: www.cs.helsinki.fi | Filesize: 214kb

Content
Nordic Journal of Computing 1(1994), 50{76.
A MECHANIZED THEORY OF THE -CALCULUS
IN HOL
T. F. MELHAM
Department of Computing Science
University of Glasgow
17 Lilybank Gardens
Glasgow, Scotland, G12 8QQ
tfm@dcs.glasgow.ac.uk
Abstrac…

Get the file Download here

AddThis Social Bookmark Button
Related Books:
  • A full formalisation of -calculus theory in the calculus of …
  • Multivariable Calculus, Applications and Theory
  • Calculus, Applications and Theory
  • Calculus, Applications and Theory
  • The π-calculus a Theory of Mobile Processes
  • IN -CALCULUS AND TYPE THEORY
  • Non-commutative differentia1 calculus and lattice gauge theory
  • The b-calculus and index theory on manifolds with boundary Andrew …

    • Filed Under Mathematics, Sciences 

    Related Searches: , , , ,



    Comments

    Leave a Reply