A proof editor for linear logic

Item metadata

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

This item appears in the following Collection(s)

St Andrews Research Repository