Cover Image

A simple formalization of alpha-equivalence

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Apinis, Kalmer, Ahman, Danel
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Comodule Representations of Second-Order Functionals
by: Ahman, Danel, et al.
Published: (2024)

Higher-Order Asynchronous Effects
by: Ahman, Danel, et al.
Published: (2023)

Strong Normalisation for Asynchronous Effects
by: Ahman, Danel, et al.
Published: (2026)

Sheaves as oracle computations
by: Ahman, Danel, et al.
Published: (2026)

A simple proof of the coincidence of observational and labeled equivalence of processes in applied pi-calculus
by: Mironov, Andrew M.
Published: (2025)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
by: Abraham, Uri, et al.
Published: (2023)

Incompleteness for stably computable formal systems
by: Savelyev, Yasha
Published: (2022)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
by: Alvarez, David Quinn
Published: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

Formalizing equivalences without tears
by: de Jong, Tom
Published: (2024)

A formalization of the Gelfond-Schneider theorem
by: Karatarakis, Michail, et al.
Published: (2026)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

PECR: A formal system based on computability logic
by: Pantelis, G.
Published: (2024)

Toward a formalization of artifacts in GFO
by: Fiegenbaum, Hanna
Published: (2024)

Tutte's theorem as an educational formalization project
by: Otte, Pim
Published: (2025)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
by: Arias, Jaime, et al.
Published: (2024)

Seven kinds of equivalent models for generalized coalition logics
by: Chen, Zixuan, et al.
Published: (2025)

Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
by: Rashid, Adnan, et al.
Published: (2024)

A formalization of System I with type Top in Agda
by: Séttimo, Agustín, et al.
Published: (2026)

Metacat: a categorical framework for formal systems
by: Wilson, Paul
Published: (2026)

Finite element method. Detailed proofs to be formalized in Coq
by: Clément, François, et al.
Published: (2024)

Factorizing formal contexts from closures of necessity operators
by: Aragón, Roberto G., et al.
Published: (2026)

A formal specification of the desired software behaviour of the Princess Marijke lock complex
by: Groote, Jan Friso, et al.
Published: (2025)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Guarded Successor: A Novel Temporal Logic
by: Asor, Ohad
Published: (2024)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

A note on Stone-Čech compactification in ZFA
by: Przybyłek, Michał R.
Published: (2023)

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)