Martin-Löf, Per (1942-....) Amélioration Assistance
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

Identifiant BNF : FRBNF123858393
Identifiant ISNI : 0000000120306590

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

070 Auteur ( 3 )
340 Editeur scientifique ( 1 )
990 Sujet ( 2 )



Auteur :

Rôles ?



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

014308630 : Notes on constructive mathematics / by Per Martin-Löf / Stockholm : Almqvist & Wiksell , 1970

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



Editeur scientifique :

Rôles ?



155227181 : COLOG-88 [Ressource électronique] : International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings / edited by Per Martin-Löf, Grigori Mints. / Berlin, Heidelberg : Springer-Verlag , 2005



Sujet :

Rôles ?



189803355 : Approche dialogique de la révision des croyances dans le contexte de la théorie constructive des types de Per Martin-Löf / Adjoua Bernadette Dango ; sous la direction de Shahid Rahman / [S.l.] : [s.n.] , 2015

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