Rewriting Modulo β in the λΠ-Calculus Modulo
The lambda-Pi-calculus Modulo is a variant of the lambda-calculus with dependent types where beta-conversion is extended with user-defined rewrite rules. It is an expressive logical framework and has been used to encode logics and type systems in a shallow way. Basic properties such as subject reduc...
Autor principal: | Ronan Saillard |
---|---|
Formato: | Artigo |
Idioma: | English |
Publicado em: |
Open Publishing Association
2015-07-01
|
coleção: | Electronic Proceedings in Theoretical Computer Science |
Acesso em linha: | http://arxiv.org/pdf/1507.08055v1 |
Registros relacionados
-
Search for the semi-leptonic decays Λc+→Λπ+π−e+νe and Λc+→pKS0π−e+νe
por: M. Ablikim, et al.
Publicado em: (2023-08-01) -
Probing new physics in Λb → Λc(→ Λπ)τν decay *
por: Sain Ria
Publicado em: (2024-01-01) -
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
por: Luis Barguno, et al.
Publicado em: (2010-08-01) -
Partial wave analysis of the charmed baryon hadronic decay Λ c + $$ {\Lambda}_c^{+} $$ → Λπ + π 0
por: The BESIII collaboration, et al.
Publicado em: (2022-12-01) -
Angular analysis of Λ b → Λ c (→ Λπ) ℓ ν ¯ $$ \overline{\nu} $$
por: P. Böer, et al.
Publicado em: (2019-12-01)