Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introduction Les syst`emes types modernes
 

Summary: Introduction
Les syst`emes typ´es modernes
Le -calcul typ´e avec un seul lieur
Fairouz Kamareddine
Universit´e de Heriot-Watt,
Edimbourgh, Ecosse
13 October 2005
Fairouz Kamareddine Le -calcul typ´e avec un seul lieur
Introduction
Les syst`emes typ´es modernes
Les types simples
Soient f : N N et gf : N N tel que gf (x) = f (f (x)).
Soit FN : (N N) (N N) tel que
FN(f )(x) = gf (x) = f (f (x)).
Dans le lambda calcul typ´e de Church on ´ecrit la fonction FN
comme suit:
f :NN.x:N.f (f (x))
Si on veut la m^eme fonction sur les Bool´eens B, on ´ecrit:
la fonction FB est f :BB.x:B.f (f (x))
le type de la fonction FB est (B B) (B B)

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics