A proof editor for linear logic

dc.contributor.author	Peillon, Thomas	en
dc.coverage.spatial	130p	en
dc.date.accessioned	2021-04-08T09:24:23Z
dc.date.available	2021-04-08T09:24:23Z
dc.date.issued	1992
dc.identifier.uri	https://hdl.handle.net/10023/22905
dc.language.iso	en	en
dc.publisher	University of St Andrews	en
dc.subject.lcc	QA76.28L7P3
dc.title	A proof editor for linear logic	en
dc.type	Thesis	en
dc.type.qualificationlevel	Doctoral	en
dc.type.qualificationname	MSc Master of Science	en
dc.publisher.institution	The University of St Andrews	en
dc.contributor.institution	Computer Science Theses	en