{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:30Z","timestamp":1725663270922},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540505174"},{"type":"electronic","value":"9783540460305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50517-2_85","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:26:32Z","timestamp":1330201592000},"page":"250-269","source":"Crossref","is-referenced-by-count":8,"title":["A natural deduction treatment of operational semantics"],"prefix":"10.1007","author":[{"given":"Rod","family":"Burstall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Furio","family":"Honsell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"19_CR1","unstructured":"Avron, A., Honsell, F, Mason, I, (1987) Using Typed Lambda Calculus to Implement Formal Systems on a Machine, Report LFCS87-31, Comp. Sci Dept. Edinburgh Univ. UK"},{"key":"19_CR2","volume-title":"Natural Semantics, Rapport de Recherche N. 601","author":"G. Kahn","year":"1987","unstructured":"Kahn, G. (1987) Natural Semantics, Rapport de Recherche N. 601, INRIA, France"},{"key":"19_CR3","unstructured":"Harper, R., Honsell, F., Plotkin, G. (1987) A Framework for Defining Logics, Proceedings of the Second Annual Conference on Logic in Computer Science, Cornell, USA"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Landin, P.J. (1964) The Mechanical Evaluation of Expressions, Computer Journal, 6.","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"19_CR5","unstructured":"Mason, I. (1987) Hoare's Logic in the LF, Report LFCS-87-32, Comp. Science Dept. Edinburgh University, UK"},{"key":"19_CR6","volume-title":"A Structural Approach to Operational Semantics","author":"G. Plotkin","year":"1981","unstructured":"Plotkin, G.(1981) A Structural Approach to Operational Semantics, DAIMI FN-19, Computer Science Department,Aarhus University, Denmark"},{"key":"19_CR7","volume-title":"Natural Deduction: A Proof-Theoretic study","author":"D. Prawitz","year":"1965","unstructured":"Prawitz, D. (1965) Natural Deduction: A Proof-Theoretic study, Almqvist & Wiksel, Stockholm"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Reynolds J.C. (1978) Syntactic Control of Interference, 5th Annual Symp. on Principles Of Prog. Langs., Tucson, ACM","DOI":"10.1145\/512760.512766"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50517-2_85.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:23Z","timestamp":1605647903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50517-2_85"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505174","9783540460305"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-50517-2_85","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}