Reference : A Generic Approach to Proofs about Substitution
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22659
A Generic Approach to Proofs about Substitution
English
Anand, Abhishek [Cornell University > Computer Science Department]
Rahli, Vincent mailto [Cornell University > Computer Science Department]
2014
LFMTP 2014
Yes
LFMTP 2014
July 2014
http://hdl.handle.net/10993/22659
10.1145/2631172.2631177
http://doi.acm.org/10.1145/2631172.2631177
5: 1--5: 8

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
CFGV.pdfAuthor preprint333.37 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.