{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:01Z","timestamp":1725664261448},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580850"},{"type":"electronic","value":"9783540484400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58085-9_80","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:11:15Z","timestamp":1330269075000},"page":"263-290","source":"Crossref","is-referenced-by-count":5,"title":["The expressive power of Structural Operational Semantics with explicit assumptions"],"prefix":"10.1007","author":[{"given":"Marino","family":"Miculan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"12_CR1","volume-title":"The MIT Electrical Engineering and Computer Science Series","author":"H. Abelson","year":"1985","unstructured":"H. Abelson and G. J. Sussman. Structure and Interpretation of Computer Programs. The MIT Electrical Engineering and Computer Science Series. MIT Press, Cambridge, Massachusetts, 1985."},{"key":"12_CR2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A. Avron","year":"1991","unstructured":"A. Avron. Simple consequence relations. Information and Computation, 92:105\u2013139, Jan. 1991.","journal-title":"Information and Computation"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BF00245294","volume":"9","author":"A. Avron","year":"1992","unstructured":"A. Avron, F. Honsell, I. A. Mason, and R. Pollack. Using Typed Lambda Calculus to implement formal systems on a machine. Journal of Automated Reasoning, 9:309\u2013354, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"R. Burstall and F. Honsell. Operational semantics in a natural deduction setting. In G. Huet and G. Plotkin, editors, Logical Frameworks, pages 185\u2013214. Cambridge University Press, June 1990.","DOI":"10.1017\/CBO9780511569807.009"},{"key":"12_CR5","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A. Church","year":"1940","unstructured":"A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56\u201368, 1940.","journal-title":"Journal of Symbolic Logic"},{"key":"12_CR6","unstructured":"J. Despeyroux. Proof of translation in natural semantics. In Proceedings of the First Conference on Logic in Computer Science, pages 193\u2013205. The Association for Computing Machinery, 1986."},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF00264468","volume":"8","author":"J. E. Donahue","year":"1977","unstructured":"J. E. Donahue. Locations considered unnecessary. Acta Informatica, 8:221\u2013242, July 1977.","journal-title":"Acta Informatica"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"G. Gentzen. Investigations into logical deduction. In M. Szabo, editor, The collected papers of Gerhard Gentzen, pages 68\u2013131. North Holland, 1969.","DOI":"10.1016\/S0049-237X(08)70822-X"},{"key":"12_CR9","unstructured":"J. J. Hannan. Proof-theoretical methods for analysis of functional programs. Technical Report MS-CIS-89-07, Dep. of Computer and Information Science, University of Pennsylvania, Dec. 1988."},{"key":"12_CR10","first-page":"407","volume-title":"Compiler verification in LF","author":"J. J. Hannan","year":"1992","unstructured":"J. J. Hannan and F. Pfenning. Compiler verification in LF. In Seventh Annual IEEE Symposium on Logic in Computer Science, pages 407\u2013418, Santa Cruz, California, June 1992. IEEE Computer Society Press."},{"issue":"1","key":"12_CR11","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"R. Harper, F. Honsell, and G. Plotkin. A framework for defining logics. Journal of the ACM, 40(1):143\u2013184, Jan. 1993.","journal-title":"Journal of the ACM"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"G. Kahn. Natural Semantics. In Proceedings of the Symposium on Theoretical Aspects of Computer Science, number 247 in Lecture Notes in Computer Science, pages 22\u201339. Springer-Verlag, 1987.","DOI":"10.1007\/BFb0039592"},{"key":"12_CR13","unstructured":"Z. Luo, R. Pollack, and P. Taylor. How to use LEGO (A Preliminary User's Manual). Department of Computer Science, University of Edinburgh, Oct. 1989."},{"key":"12_CR14","first-page":"299","volume-title":"number 596 in LNAI","author":"S. Michaylov","year":"1991","unstructured":"S. Michaylov and F. Pfenning. Natural Semantics and some of its Meta-Theory in Elf. In L.-H. Eriksson, L. Halln\u00e4s, and P. Schroeder-Heister, editors, Proceedings of the Second International Workshop on Extensions of Logic Programming, number 596 in LNAI, pages 299\u2013344, Stockolm, Sweden, Jan. 1991. Springer-Verlag."},{"key":"12_CR15","volume-title":"Undergraduate thesis","author":"M. Miculan","year":"1992","unstructured":"M. Miculan. Semantica operazionale strutturata ad ambienti distribuiti \u2014 teoria e sperimentazione. Undergraduate thesis, Universit\u00e0 di Udine, Udine, Italy, July 1992. In Italian."},{"key":"12_CR16","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, Massachusetts, 1990."},{"key":"12_CR17","unstructured":"E. Moggi. Notions of computation and monads. Information and Computation, 1, 1993."},{"key":"12_CR18","first-page":"120","volume-title":"Types are not sets","author":"J. H. Morris Jr.","year":"1973","unstructured":"J. H. Morris, Jr. Types are not sets. In Conference Record of the ACM Symposium on Principles of Programming Languages, pages 120\u2013124, Boston, Oct. 1973. The Association for Computing Machinery."},{"key":"12_CR19","unstructured":"B. Nordstr\u00f6m, K. Petersson, and J. M. Smith. Programming in Martin-L\u00f6f's Type Theory: An Introduction, volume 7 of International Series of Monograph on Computer Science. Oxford University Press, 1990."},{"key":"12_CR20","first-page":"313","volume-title":"ERGO Report 89-067","author":"F. Pfenning","year":"1989","unstructured":"F. Pfenning. Elf: A language for logic definition and verified metaprogramming. In Fourth Annual Symposium on Logic in Computer Science, pages 313\u2013322. IEEE, June 1989. Also available as ERGO Report 89-067, School of Computer Science, Carnegie Mellon Univ., Pittsburgh."},{"key":"12_CR21","volume-title":"DAIMI FN-19","author":"G. D. Plotkin","year":"1981","unstructured":"G. D. Plotkin. A structural approach to operational semantics. DAIMI FN-19, Computer Science Department, \u00c5rhus University, \u00c5rhus, Denmark, Sept. 1981."},{"key":"12_CR22","unstructured":"G. D. Plotkin. Notes about semantics. Unpublished notes given at CSLI, Stanford, Aug. 1985."},{"key":"12_CR23","unstructured":"D. A. Schmidt. Denotational Semantics. Allyn & Bacon, 1986."},{"key":"12_CR24","volume-title":"Technical Report TR91-160","author":"A. K. Wright","year":"1991","unstructured":"A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Technical Report TR91-160, rev.2, Department of Computer Science, Rice University, Houston, Texas, 1991."}],"container-title":["Lecture Notes in Computer Science","Types for Proofs and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58085-9_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:51Z","timestamp":1605647811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58085-9_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580850","9783540484400"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-58085-9_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}