Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Typed Mobile Objects
HTML
Details
Locations
Year:
2000
Type:
conference-paper
Source:
Lecture notes in computer science
DOI:
10.1007/3-540-44618-4_36
Authors:
Michele Bugliesi,
Giuseppe Castagna,
Silvia Crafa
Institutions:
Ca' Foscari University of Venice,
Centre National de la Recherche Scientifique,
École Normale Supérieure - PSL,
Département d'Informatique
Language:
English
Topic:
Logic, programming, and type systems
Subfield:
Software
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
closed
OpenAlex ID:
W1548468162
FWCI:
0.859
Cites:
19
Cited by:
8
Related to:
10