Covers the fundamental concepts of formal languages, including alphabets, words, languages, and word equality.
Explores semigroups of linear operators, contraction semigroups, infinitesimal generator, and Riemann integral properties.
Covers the basics of formal languages, including alphabets, words, and languages, as well as operations like concatenation and reversal.
Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.
Explores protocols in Akka Typed, typing actors to restrict message types and modeling protocols with algebraic data types.
Covers the topology of Adeles and their relationship with quadratic forms, polynomial varieties, and finiteness properties.
