Type theory as a foundation for computer science (Q5096219): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/3-540-54415-1_48 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1504884872 / rank
 
Normal rank

Revision as of 21:47, 19 March 2024

scientific article; zbMATH DE number 7572002
Language Label Description Also known as
English
Type theory as a foundation for computer science
scientific article; zbMATH DE number 7572002

    Statements

    Type theory as a foundation for computer science (English)
    0 references
    16 August 2022
    0 references

    Identifiers