Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Specification and Verification of a Formal System for
 

Summary: Slide 1
Specification and Verification
of a Formal System for
Non-mutual Structural Recursion
Andreas Abel
December 17, 1999
Slide 2
Terms
s, t, t ::= x, x.t, fun g(x)=t, t s, function space
inj(t), case(t, x.t), coproduct
(t), pij(t), product
fold(t), unfold(t) inductive type X.
( X.(X))
fold
-----
-----
unfold
X.(X)
Named function introduction:
t Tm

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

 

Collections: Computer Technologies and Information Sciences