Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Speci cation and Veri cation of a Formal System for
 

Summary: Slide 1
Speci cation and Veri cation
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  ! 
in j (t), case(t; ~
x:t), coproduct ~ 
( ~ t), pi j (t), product ~ 
fold(t), unfold(t) inductive type X:
( X:(X))
fold
---- !
----
unfold
 X:(X)
Named function introduction:

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences