Results 231 to 232 of about 86,163 (232)

CAAL: Categorical Abstract Algebraic Logic: Coordinatization is Algebraization. [PDF]

Reports Math. Log., 2012
openaire  

Some of the next articles are maybe not open access.

Related searches:

Algebraic Effects Meet Hoare Logic in Cubical Agda

Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu   +2 more
exaly