Rewriting Modulo β in the λΠ-Calculus Modulo

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...

Bibliografske podrobnosti
Glavni avtor:	Ronan Saillard
Format:	Article
Jezik:	English
Izdano:	Open Publishing Association 2015-07-01
Serija:	Electronic Proceedings in Theoretical Computer Science
Online dostop:	http://arxiv.org/pdf/1507.08055v1

Podobne knjige/članki

Search for the semi-leptonic decays Λc+→Λπ+π−e+νe and Λc+→pKS0π−e+νe
od: M. Ablikim, et al.
Izdano: (2023-08-01)

Probing new physics in Λb → Λc(→ Λπ)τν decay *
od: Sain Ria
Izdano: (2024-01-01)

Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
od: Luis Barguno, et al.
Izdano: (2010-08-01)

Partial wave analysis of the charmed baryon hadronic decay Λ c + $$ {\Lambda}_c^{+} $$ → Λπ + π 0
od: The BESIII collaboration, et al.
Izdano: (2022-12-01)

Angular analysis of Λ b → Λ c (→ Λπ) ℓ ν ¯ $$ \overline{\nu} $$
od: P. Böer, et al.
Izdano: (2019-12-01)

Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
od: Sylvain Conchon, et al.
Izdano: (2012-09-01)

Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
od: Beniamino Accattoli, et al.
Izdano: (2012-03-01)

Equidistribution Modulo 1
od: Wiem Gadri
Izdano: (2021-01-01)

Efficient Modulo Multiplier
od: Rekib U. Ahmed, et al.
Izdano: (2023-06-01)

Modulo-N equalizer
od: 383014 Halim Abd. Aziz
Izdano: (1977)

C-compactness modulo an ideal
od: M. K. Gupta, et al.
Izdano: (2006-01-01)

Modulo Sampling of FRI Signals
od: Satish Mulleti, et al.
Izdano: (2024-01-01)

δ-connectedness modulo an ideal
od: Beenu Singh, et al.
Izdano: (2022-08-01)

On graph decompositions modulo k
od: Scott, A
Izdano: (1997)

Some applications of modulo arithmetic /
od: 615523 Nor Haniza Sarmin, et al.
Izdano: (2003)

Módulos de entrenamiento para la medición y adquisición de datos (módulo de visión)
od: V. Moncada, et al.
Izdano: (2009-12-01)

Checking Zenon Modulo Proofs in Dedukti
od: Raphaël Cauderlier, et al.
Izdano: (2015-07-01)

A framework for Satisfiability Modulo Theories.
od: Kroening, D, et al.
Izdano: (2009)

The distribution of αp modulo one
od: Heath-Brown, DR, et al.
Izdano: (2002)

Modulo video recovery with deep learning
od: Li,Zike
Izdano: (2024)

On the ranks of partitions modulo certain integers
od: Hong, Nankun
Izdano: (2020)

Binomial expansions modulo prime powers
od: Paul W. Haggard, et al.
Izdano: (1980-01-01)

On Period of the Sequence of Fibonacci Polynomials Modulo
od: İnci Gültekin, et al.
Izdano: (2013-01-01)

On star Rothberger spaces modulo an ideal
od: Susmita Sarkar, et al.
Izdano: (2024-10-01)

Módulo Python para Matemática Intervalar
od: P.S. Grigoletti, et al.
Izdano: (2007-06-01)

Abel-Grassmann's Groupoids of Modulo Matrices
od: Muhammad Rashad, et al.
Izdano: (2016-01-01)

Construcción arquitectónica mediante módulos tridimensionales
od: Arquitectos Asociados GO. DB.
Izdano: (1975-03-01)

On Full-Duplex Radios With Modulo-ADCs
od: Luis G. Ordonez, et al.
Izdano: (2021-01-01)

Módulo educativo sobre emergencias escolares
od: Ana María Fajardo-Maldonado, et al.
Izdano: (2009-07-01)

On the Littlewood problem modulo a prime
od: Green, B, et al.
Izdano: (2006)

The distribution of alpha p modulo one
od: Heath-Brown, D, et al.
Izdano: (2002)

Reductions of Tensor Categories Modulo Primes
od: Gelaki, Shlomo, et al.
Izdano: (2013)

Inductive logic programming as satisfiability modulo theories
od: Morel, R
Izdano: (2023)

Stability of second-order recurrences modulo pr
od: Lawrence Somer, et al.
Izdano: (2000-01-01)

Amenability and Contractibility Modulo an Ideal of Banach Algebras
od: Hamidreza Rahimi, et al.
Izdano: (2014-01-01)

A generalization of the regular function modulo n
od: Basem Alkhamaiseh
Izdano: (2024-05-01)

Regularity and normality modulo hereditary m-spaces
od: Ahmad Al-Omari, et al.
Izdano: (2024-05-01)

Generation modulo the action of a permutation group
od: Nicolas Borie
Izdano: (2013-01-01)

LINEAR CODE THROUGH POLYNOMIAL MODULO Z
od: MAKARIM ABDULWAHIDE
Izdano: (2012-06-01)

COUNTABLE COMPACTNESS MODULO AN IDEAL OF NATURAL NUMBERS
od: Prasenjit Bal, et al.
Izdano: (2023-12-01)