Semimodule enrichment

Autor: Heunen, C., Bauer, A., Mislove, M.

Publikováno v: Bauer, A.; Mislove, M. (ed.), Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), 193-209. Philadelphia, USA : Elsevier BV
STARTPAGE=193;ENDPAGE=209;ISSN=1571-0661;TITLE=Bauer, A.; Mislove, M. (ed.), Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)
Heunen, C 2008, ' Semimodule Enrichment ', Electronic Notes in Theoretical Computer Science, vol. 218, pp. 193-208 . https://doi.org/10.1016/j.entcs.2008.10.012
Bauer, A.; Mislove, M. (ed.), Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), pp. 193-209

A category with biproducts is enriched over (commutative) additive monoids. A category with tensor products is enriched over scalar multiplication actions. A symmetric monoidal category with biproducts is enriched over semimodules. We show that these

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d679173eb600aed9a0dbc2fb5ef8eef1
https://doi.org/10.1016/j.entcs.2008.10.012

RAC 2016 - Resource Aware Computing, Eindhoven, 2 April 2016

Autor: Eekelen, M.C.J.D. van, Eder, K.

Publikováno v: RAC 2016-Resource Aware Computing, Eindhoven, 2 April 2016, 1-46. Amsterdam : Elsevier
STARTPAGE=1;ENDPAGE=46;ISSN=1571-0661;TITLE=RAC 2016-Resource Aware Computing, Eindhoven, 2 April 2016
RAC 2016-Resource Aware Computing, Eindhoven, 2 April 2016, pp. 1-46

Contains fulltext : 166148.pdf (Publisher’s version ) (Open Access) RAC 2016 - Resource Aware Computing, Eindhoven, 2 April 2016

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d7f98055c48ed958ac2e1ab7a09b99fe
http://hdl.handle.net/2066/166148

Coinductive Predicates and Final Sequences in a Fibration

Autor: Hasuo, I., Cho, K., Kataoka, T., Jacobs, B., Kozen, D.

Publikováno v: Kozen, D. (ed.), Mathematical Foundations of Programming Semantics : Twenty-ninth Annual Conference Tulane University New Orleans, LA, USA June 23–25, 2013, pp. 197-214
Electronic Notes in Theoretical Computer Science, 197-214. S.l. : Elsevier
STARTPAGE=197;ENDPAGE=214;TITLE=Electronic Notes in Theoretical Computer Science

Contains fulltext : 117353.pdf (Publisher’s version ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0dd3ca98183829ee609b3d1989b5a604
https://hdl.handle.net/2066/117353

Quantum logic in dagger kernel categories

Autor: Heunen, C., Jacobs, B.P.F., Coecke, B., Panangaden, P., Selinger, P.

Publikováno v: Coecke, B.; Panangaden, P.; Selinger, P. (ed.), Proceedings of the 6th International Workshop on Quantum Physics and Logic (QPL 2009), 79-103. Amsterdam : Elsevier
STARTPAGE=79;ENDPAGE=103;ISSN=1571-0661;TITLE=Coecke, B.; Panangaden, P.; Selinger, P. (ed.), Proceedings of the 6th International Workshop on Quantum Physics and Logic (QPL 2009)
Proceedings of the 6th International Workshop on Quantum Logic Programming Languages (QPL 2009, Oxford, UK, April 8-9, 2009), 79-103
STARTPAGE=79;ENDPAGE=103;TITLE=Proceedings of the 6th International Workshop on Quantum Logic Programming Languages (QPL 2009, Oxford, UK, April 8-9, 2009)
Order-A Journal on the Theory of Ordered Sets and Its Applications, 27, 177-212
Coecke, B.; Panangaden, P.; Selinger, P. (ed.), Proceedings of the 6th International Workshop on Quantum Physics and Logic (QPL 2009), pp. 79-103
Order-A Journal on the Theory of Ordered Sets and Its Applications, 27, 2, pp. 177-212
Heunen, C & Jacobs, B 2010, ' Quantum Logic in Dagger Kernel Categories ', Order, vol. 27, no. 2, pp. 177-212 . https://doi.org/10.1007/s11083-010-9145-5
Heunen, C & Jacobs, B 2011, ' Quantum Logic in Dagger Kernel Categories ', Electronic Notes in Theoretical Computer Science, vol. 270, no. 2, pp. 79-103 . https://doi.org/10.1016/j.entcs.2011.01.024

This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples of interes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d14806f78f99c5c6cd9b47d6611da257
http://hdl.handle.net/2066/92247

Inferring Static Non-monotone Size-aware Types Through Testing

Autor: Kesteren, Ron van, Shkaravska, O., Eekelen, M.C.J.D. van, Echahed, R.

Publikováno v: Echahed, R. (ed.), Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), 45-63. Amsterdam : Elsevier
STARTPAGE=45;ENDPAGE=63;ISSN=1571-0661;TITLE=Echahed, R. (ed.), Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007)
Echahed, R. (ed.), Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), pp. 45-63

We propose a size analysis procedure that combines testing and type checking to automatically obtain static output-on-input size dependencies for first-order functions. Attention is restricted to functions for which the size of the result is strictly

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::652230542fb8f7aa394b3838a610bf4e
http://hdl.handle.net/2066/72206