Nominal Logic with Equations Only

Collections	ANU Research Publications
Date published:	2011
Type:	Conference paper
URI:	http://hdl.handle.net/1885/37316
Source:	Proceedings of 6th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP)
DOI:	10.4204/EPTCS.71.4

File	Description	Size	Format	Image
01_Clouston_Nominal_Logic_with_Equations_2011.pdf		147.09 kB	Adobe PDF	Request a copy

Show full item record

Open Research