Show simple item record

dc.contributor.authorFiore, Marceloen
dc.contributor.authorStaton, Samen
dc.date.accessioned2019-03-12T00:30:55Z
dc.date.available2019-03-12T00:30:55Z
dc.date.issued2014-01-01en
dc.identifier.isbn9781450328869en
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/290458
dc.rightsAll Rights Rserved
dc.rights.urihttp://www.rioxx.net/licenses/all-rights-reserved
dc.titleSubstitution, jumps, and algebraic effectsen
dc.typeConference Object
prism.publicationDate2014en
prism.publicationNameProceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014en
dc.identifier.doi10.17863/CAM.37685
rioxxterms.versionofrecord10.1145/2603088.2603163en
rioxxterms.versionAM
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.licenseref.startdate2014-01-01en
dc.contributor.orcidFiore, Marcelo [0000-0001-8558-3492]
rioxxterms.typeConference Paper/Proceeding/Abstracten
rioxxterms.freetoread.startdate2015-01-01


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record