"International Workshop on Logical Frameworks and Meta-Languages, LFM 2002, ..."

Frank Pfenning (2002)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2022-12-06