Martin-Löf, Per (1942-....) Signaler une erreur
086109774
Notice de type Personne

Forme retenue

Martin-Löf, Per (1942-....)

Forme rejetée

Löf, Per Martin-
[Nom de personne]

Information

Langue d'expression : anglais

Source

Intuitionistic type theory / Per Martin-Löf, 1984


LCNA 1987-1992

Utilisation dans Rameau

La vedette ne peut pas être employée dans une vedette RAMEAU

Autres identifiants

En cours : frBN010122166
En cours : FRBNF123858393

Notices bibliographiques liées :2rôle(s)

070 Auteur ( 2 )
990 Sujet ( 1 )



Auteur :

Rôles ?



015916855 : Algorithmen und zufällige Folgen [Texte imprimé] / Per Martin-Löf / Erlangen : Mathematische Institut Universität Erlanger-Nürnberg , 1966

028028007 : Intuitionistic type theory [Texte imprimé] / Per Martin-Löf ; notes by Giovanni Sambin of a series of lectures given in Padua, June 1980 / Napoli : Bibliopolis , cop. 1984



Sujet :

Rôles ?



052918351 : History and philosophy of constructive type theory / Giovanni Sommaruga / Dordrecht [etc.] : Kluwer , cop. 2000


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance