Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings

From MaRDI portal
Publication:790091
Jump to:navigation, search

zbMath0534.00019MaRDI QIDQ790091

No author found.

Publication date: 1984

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)


zbMATH Keywords

ProceedingsSymposiumSemanticsData typesSophia-Antipolis/France


Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Conference proceedings and collections of articles (00Bxx)


Related Items

Type checking with universes ⋮ Static semantics, types, and binding time analysis



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:790091&oldid=12717365"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 30 January 2024, at 12:04.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki