Skip to main content
Kent Academic Repository

Functional Big-step Semantics

Owens, Scott, Myreen, Magnus O., Kumar, Ramana, Tan, Yong Kiam (2016) Functional Big-step Semantics. In: Lecture Notes in Computer Science. Lecture Notes in Computer Science. 9632. Springer (doi:10.1007/978-3-662-49498-1_23) (KAR id:53533)

PDF (The final publication is available at link.springer.com) Author's Accepted Manuscript
Language: English
Download this file
(PDF/396kB)
[thumbnail of The final publication is available at link.springer.com]
Preview
Request a format suitable for use with assistive technology e.g. a screenreader
Official URL:
http://dx.doi.org/10.1007/978-3-662-49498-1_23
Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.1007/978-3-662-49498-1_23
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Scott Owens
Date Deposited: 18 Dec 2015 23:51 UTC
Last Modified: 16 Feb 2021 13:32 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/53533 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.