Fiore, Marcelo P.
Fiore, Marcelo
VIAF ID: 115043441 ( Personal )
Permalink: http://viaf.org/viaf/115043441
Preferred Forms
- 200 _ | ‡a Fiore ‡b Marcelo P.
- 100 1 _ ‡a Fiore, Marcelo
- 100 1 _ ‡a Fiore, Marcelo P.
- 100 1 0 ‡a Fiore, Marcelo P.
-
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Axiomatic domain theory in categories of partial maps, 1996: | |
Opérades cycliques : aspects syntaxiques, algébriques et catégorifiés. | |
Signatures et modèles pour la syntaxe et la sémantique opérationnelle en présence de liaison de variables. | |
Types intersection et calculs avec ressources dans la sémantique dénotationnelle du lambda-calcul. |