nopeSep 11, 2023
A Linear Logical Framework
(2002) : Cervesato, Iliano Pfenning, Fr...
DOI: https://doi.org/10.1006/inco.2001.2951
#types #linear_type_theory #operational_semantics #linear_logic #my_bibtex
nopeSep 7, 2023
Uniform Proofs As a Foundation for Logic Programming
(1991) : Miller, Dale et al
DOI: https://doi.org/10.1016/0168-0072(91)90068-w
#proof #uniform_proofs #operational_semantics #logic_programming #my_bibtex
nopeAug 19, 2023
Rule Formats for Timed Processes
(2002) : Kick, Marco
DOI: https://doi.org/10.1016/s1571-0661(04)80498-5
#behaviour #semantics #rule_system #comonad #structural_operational_semantics #CSOS #operational_semantics #timed_processes #my_bibtex
nopeJun 23, 2023
Uniform Proofs As a Foundation for Logic Programming
(1991) : Miller, Dale et al
DOI: https://doi.org/10.1016/0168-0072(91)90068-w
#proof #logic_programming #operational_semantics #uniform_proofs #my_bibtex
nopeJun 21, 2023
Uniform Proofs As a Foundation for Logic Programming
(1991) : Miller, Dale et al
DOI: https://doi.org/10.1016/0168-0072(91)90068-w
#proof #uniform_proofs #operational_semantics #logic_programming #my_bibtex
nopeMar 1, 2023
A structural approach to operational semantics
(1981) : Plotkin, Gordon GD
url: https://www.alice.virginia.edu/~weimer/2006-655/reading/plotkin81structural.pdf
#dissertation #semantics #operational_semantics #transition_system #my_bibtex
nopeFeb 3, 2023
Lcf Considered As a Programming Language
(1977) : Plotkin, G. D.
DOI: https://doi.org/10.1016/0304-3975(77)90044-5
#LCF #equivalence #PCF #termination #operational_semantics #denotational_semantics #my_bibtex
nopeJan 25, 2023
Programming Norm Change
(2010) : Tinnemeier, Nick Meyer, John-j...
url: http://dl.acm.org/citation.cfm?id=1838335
#__printed #operational_semantics #dynamic_norms #programming #my_bibtex
Programming norm change | Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

ACM Other conferences
nopeAug 16, 2022
The SMT-LIB Standard: Version 2.6
(2021) : Clark Barrett and Pascal Fontaine and Cesare Tinelli
url: http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2021-05-12.pdf
#SMT_LIB #lisp #logic #operational_semantics #reference
#my_bibtex
nopeJul 1, 2022
Rule Formats for Timed Processes
(2002) : Marco Kick
DOI: https://doi.org/10.1016/s1571-0661(04)80498-5
#CSOS #behaviour #comonad #operational_semantics #rule_system #semantics #structural_operational_semantics #timed_processes
#my_bibtex