VIAF
Virtual International Authority File
Search
Select Field:
All Fields
All Headings
Corporate Names
Geographic Names
Personal Names
Works
Expressions
Preferred Headings
Exact Heading
Bibliographic Titles
Select Index:
All VIAF
Argentina
Australia
Belgium (Flemish)
Brazil
Canada
Catalunya
Chile
Croatia
Czech
Denmark (DBC)
Egypt
Estonia
FAST
France (BnF)
France (Sudoc)
Germany
Getty (ULAN)
Greece
Hispánica
Hungary
Iceland
Ireland
ISNI
Israel
Italy
Japan (NDL)
Japan (NII)
Korea
Latvia
Lebanon
LC (NACO)
Lithuania
Luxembourg
Morocco
Netherlands
Norway (BIBSYS)
Norway (National Library)
Iceland
Perseus
Poland (National Library)
Poland (NUKAT)
Portugal
Québec
RILM
RISM
Russia
Singapore
Slovakia
Slovenia
Spain
Sweden
Swiss (National Library)
Swiss (RERO)
Syriac
Taiwan
United Arab Emirates
Vatican
Wikipedia
xA
xR
Search Terms:
Types
VIAF ID: 246761820 ( Corporate )
Permalink: http://viaf.org/viaf/246761820
Preferred Forms
111 2 _
‡a
TYPES
110 2 _
‡a
TYPES
110 2 _
‡a
TYPES
111 2 _
‡a
TYPES
110 2 _
‡a
Types
4xx's: Alternate Name Forms
(5)
411 2 _ ‡a
International Conference on Types for Proofs and Programs
411 2 _ ‡a
International Workshop on Types for Proofs and Programs
410 2 _ ‡a
Types
‡c
1537th strip of the webcomic xkcd
410 2 _ ‡a
Types
‡c
Folge des Webcomics xkcd
410 2 _ ‡a
Types
‡c
strip de xkcd n° 1537
Selected Titles
About
Personal Information
Nationality or associated country
:
ZZ -
External Links
Wikipedia
- https://ja.wikipedia.org/wiki/TYPES
Record Views
MARC-21 record
VIAF Cluster in XML
RDF record
Just Links in JSON
History of VIAF ID
:246761820 (5)
Record ID
Action
Time
DNB|051482878
add
2012-05-22T07:10:57+00:00
LC|n 2016003861
add
2016-02-13T18:25:35.828096+00:00
DNB|1092482342
add
2016-03-21T08:18:28.733436+00:00
WKP|Q11250440
add
2018-10-14T10:38:55.638941+00:00
WKP|Q20671333
add
2023-10-03T17:46:30.018629+00:00