creator search
International Workshop on TYPES(1993-)
この人物の情報
schema:name | Workshop TYPES '94, International; TYPES; Types for proofs and programs |
schema:birthDate | 1993 |
schema:name | Workshop TYPES '94, International; TYPES; Types for proofs and programs |
schema:birthDate | 1993 |