Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Antonio Bucciarelli
Antonio Bucciarelli
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Thesis:
Modeles denotationnels des langages sequentiels
Directed Thesis:
Structures algébriques pour le lambda calcul et la logique propositionnelle
Models and theories of pure and resource lambda calculas
Nets between determinism and nondeterminism
Sur la notion d'observation en sémantique