Cover Image

Lecture Notes on Algorithmic Information Theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Bédard, Charles Alexandre
Format:	Preprint
Published:	2025
Subjects:	Information Theory Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards a Unification of Logic and Information Theory
by: Lastras, Luis A., et al.
Published: (2023)

Universal Proof Theory, TACL 2022 Lecture Notes
by: Iemhoff, Rosalie, et al.
Published: (2023)

Rate-Distortion Theory for Deductive Sources under Closure Fidelity
by: Xu, Jianfeng
Published: (2026)

Algorithmic Randomness in Continuous-Time Markov Chains
by: Huang, Xiang, et al.
Published: (2019)

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
by: Bollig, Benedikt
Published: (2026)

Verification of Neural Networks (Lecture Notes)
by: Bollig, Benedikt
Published: (2026)

A Truly Concurrent Semantics for Reversible CCS
by: Melgratti, Hernán, et al.
Published: (2023)

Non-Transferability in Communication Channels and Tarski`s Truth Theorem
by: Naderian, Farhad
Published: (2022)

Information Physics of Intelligence: Unifying Logical Depth and Entropy under Thermodynamic Constraints
by: Xu, Jianfeng, et al.
Published: (2025)

Complete Diagrammatic Axiomatisations of Relative Entropy
by: Sarkis, Ralph, et al.
Published: (2026)

Towards declarative comparabilities: application to functional dependencies
by: Nourine, Lhouari, et al.
Published: (2019)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Lecture Notes on Verifying Graph Neural Networks
by: Schwarzentruber, François
Published: (2025)

Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)

Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
Published: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
by: Abramsky, Samson, et al.
Published: (2021)

Set Theory in the Foundation of Math; Internal Classes and External Sets
by: Levin, Leonid A.
Published: (2022)

Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication
by: Xu, Jianfeng
Published: (2026)

Notes on Category Theory with examples from basic mathematics
by: Perrone, Paolo
Published: (2019)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Equivalence of Halting Problem to Convergence of Power Series
by: Fernandes, Antonio Joaquim
Published: (2025)

Building Intelligent Databases through Similarity: Interaction of Logical and Qualitative Reasoning
by: Vilchis-Medina, José-Luis
Published: (2025)

Order-theoretic models for decision-making: Learning, optimization, complexity and computation
by: Hack, Pedro
Published: (2024)

The computational inevitability of life: self-replication under resource-bounded nested algorithmic probability
by: Sarkar, Aritra
Published: (2020)

Un cadre paraconsistant pour l'{é}valuation de similarit{é} dans les bases de connaissances
by: Medina, José-Luis Vilchis
Published: (2025)

Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)

Theoremizing Yablo's Paradox
by: Karimi, Ahmad, et al.
Published: (2014)

The Formal Theory of Monads, Univalently
by: van der Weide, Niels
Published: (2022)

Synthetic 1-Categories in Directed Type Theory
by: Altenkirch, Thorsten, et al.
Published: (2024)

Correspondence between Composite Theories and Distributive Laws
by: Rosset, Aloïs, et al.
Published: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
by: Barloy, Corentin, et al.
Published: (2025)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
by: Doyen, Laurent, et al.
Published: (2026)

Proceedings Eighth International Conference on Applied Category Theory
by: Hadzihasanovic, Amar, et al.
Published: (2026)

Evidential Decision Theory via Partial Markov Categories
by: Di Lavore, Elena, et al.
Published: (2023)

A Fibrational Theory of First Order Differential Structures
by: Capucci, Matteo, et al.
Published: (2024)

Advances in Algorithmic Meta Theorems
by: Siebertz, Sebastian, et al.
Published: (2024)

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
by: Mendez-Lucero, Miguel Angel, et al.
Published: (2024)

Formalising Propositional Information via Implication Hypergraphs
by: Dalal, Vibhu
Published: (2025)

Distributive Laws of Monadic Containers
by: Purdy, Chris, et al.
Published: (2025)

Yet another cubical type theory, but via a semantic approach
by: Kapulkin, Chris, et al.
Published: (2025)