( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Category Theory in Coq 8.5.

, и . FSCD, том 52 из LIPIcs, стр. 30:1-30:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Bart Jacobs

Bart Cramer

Bart Maris

Bart Kersbergen

Bart Riel

 

Другие публикации лиц с тем же именем

A Case Study in Class Library Verification: Java's Vector Class., , и . ECOOP Workshops, том 1743 из Lecture Notes in Computer Science, стр. 109-110. Springer, (1999)From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality., и . Log. Methods Comput. Sci., (2015)A Recipe for State-and-Effect Triangles.. CALCO, том 35 из LIPIcs, стр. 116-129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Comprehension Categories and the Semantics of Type Dependency.. Theor. Comput. Sci., 107 (2): 169-207 (1993)Object-oriented hybrid systems of coalgebras plus monoid actions.. Theor. Comput. Sci., 239 (1): 41-95 (2000)Coinductive Predicates and Final Sequences in a Fibration, , , и . Electronic Notes in Theoretical Computer Science, 298 (0): 197 - 214 (2013)Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, \MFPS\ \XXIX\.A Tutorial on (Co)Algebras and (Co)Induction, и . Bulletin of the European Association for Theoretical Computer Science, (1997)Java's Integral Types in PVS.. FMOODS, том 2884 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2003)Formal Specification and Verification of JavaCard's Application Identifier Class., , и . Java Card Workshop, том 2041 из Lecture Notes in Computer Science, стр. 137-150. Springer, (2000)Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting., и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 27-50. Springer, (2021)