Temporal Type Theory
https://arxiv.org/abs/1710.10258
https://arxiv.org/abs/1710.10258
arXiv.org
Temporal Type Theory: A topos-theoretic approach to systems and behavior
This book introduces a temporal type theory, the first of its kind as far as we know. It is based on a standard core, and as such it can be formalized in a proof assistant such as Coq or Lean by...
Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
http://www.cs.unibo.it/~martini/papers-to-ftp/EA-typing.pdf
[Thanks to Parra]
http://www.cs.unibo.it/~martini/papers-to-ftp/EA-typing.pdf
[Thanks to Parra]
Lambda-calculus and Combinatory Logic
https://www.lama.univ-savoie.fr/pagesmembres/david/ftp/hindley.pdf
https://www.lama.univ-savoie.fr/pagesmembres/david/ftp/hindley.pdf
ICALP 2020 (http://econcs.pku.edu.cn/icalp2020/) and LICS 2020 (https://lics.siglog.org/lics20/) will take place in co-location from 8th till 12th of July 2020 in Beijing, China. The conferences will be preceded by two days of joint workshops, held on July 6th and 7th. We invite proposals of workshops affiliated with ICALP-LICS 2020 on all topics covered by ICALP and LICS, as well as other areas of theoretical computer science.
econcs.pku.edu.cn
ICALP 2020-EconCS@PKU
The Convolution of Comonads is a Comonad
https://mathoverflow.net/questions/346529/the-convolution-of-comonads-is-a-comonad
(Thanks to
https://mathoverflow.net/questions/346529/the-convolution-of-comonads-is-a-comonad
(Thanks to
Fo Uche)MathOverflow
The convolution of comonads is a comonad
$\def\Cat{\mathbf{Cat}}\def\Set{\mathbf{Set}}\def\A{\mathcal{A}}$I stumbled into the following statement:
Let $\Cat(\Set,\Set)_s$ be the category of small functors[¹] $F : \Set \to\Set$ and let $F...
Let $\Cat(\Set,\Set)_s$ be the category of small functors[¹] $F : \Set \to\Set$ and let $F...
RustBelt: Logical Foundations for the Future of Safe Systems Programming
https://www.youtube.com/watch?v=1GjSfyijaxo&t=6
https://www.youtube.com/watch?v=1GjSfyijaxo&t=6
YouTube
RustBelt: Logical Foundations for the Future of Safe Systems Programming
Presented by: Derek Dreyer Rust is a new systems programming language, sponsored by Mozilla, that promises to overcome the seemingly fundamental tradeoff in ...
Call for Participation for CPP 2020
https://paste.sr.ht/%7Ebrettgilio/0afdf28261db5dac24daa29fa34d813906c898da
https://paste.sr.ht/%7Ebrettgilio/0afdf28261db5dac24daa29fa34d813906c898da
The 23rd International Conference on Theory and Applications of Satisfiability Testing
https://paste.sr.ht/%7Ebrettgilio/9ed0c26f38430662ed069ee66ff39702c271a8c8
https://paste.sr.ht/%7Ebrettgilio/9ed0c26f38430662ed069ee66ff39702c271a8c8
(Co)ends, your only (co)friends
[requires somewhat minimal CT knowledge, as stated in preliminaries]
[requires somewhat minimal CT knowledge, as stated in preliminaries]
Forwarded from H
Coends.pdf
1.4 MB
Nah, let me give you the actual book
(the same book, but it's complete)
Forwarded from Горький Фуш
mainfile.pdf
2.2 MB
SIXTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 6)
-- including a Category Theory PhD Recruitment Fair --
https://paste.sr.ht/%7Ebrettgilio/797e389c3d86dea30320c8f772816c9fccf51e44
-- including a Category Theory PhD Recruitment Fair --
https://paste.sr.ht/%7Ebrettgilio/797e389c3d86dea30320c8f772816c9fccf51e44
The Center for Secure and Resilient Systems at HRL Laboratories — Postdoc and Internship in Formal Methods
https://paste.sr.ht/%7Ebrettgilio/2756d9f4430e0a2023948969eaff28fe55c6f954
https://paste.sr.ht/%7Ebrettgilio/2756d9f4430e0a2023948969eaff28fe55c6f954