A formalized general theory of syntax with bindings

Gheri, L. and Popescu, A. orcid.org/0000-0001-8747-0619 (2017) A formalized general theory of syntax with bindings. In: Ayala-Rincón, M. and Muñoz, C.A., (eds.) Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings. 8th International Conference, ITP 2017, 26-29 Sep 2017, Brasília, Brazil. Lecture Notes in Computer Science, 10499 . Springer International Publishing , pp. 241-261. ISBN 9783319661063

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Ayala-Rincón, M.
  • Muñoz, C.A.
Copyright, Publisher and Additional Information:

© 2017 Springer International Publishing AG. This is an author-produced version of a paper subsequently published in Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Published: 21 August 2017
  • Published (online): 21 August 2017
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
Funder
Grant number
Engineering and Physical Sciences Research Council
EP/N019547/1
Depositing User: Symplectic Sheffield
Date Deposited: 14 Oct 2022 10:39
Last Modified: 14 Oct 2022 10:39
Status: Published
Publisher: Springer International Publishing
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: 10.1007/978-3-319-66107-0_16
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)