DeepAI AI Chat
Log In Sign Up

Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic

10/08/2019
by   Martin Lester, et al.
0

Recent work on combinatory logic demonstrates a compositional translation from lambda calculus that gives meaning to open terms. As the meaning of open terms is a key difficulty in the study of metaprogramming, we investigate whether this idea can be extended to metaprogramming systems with hygienic and unhygienic substitution, specifically λ_e^→ and λ_S. We conclude that there is quantitative evidence to support the claim that metaprogramming with unhygienic substitution is more powerful than metaprogramming with hygienic substitution.

READ FULL TEXT

page 1

page 2

page 3

page 4

08/24/2021

On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms

Felty and Miller have described what they claim to be a faithful encodin...
06/16/2020

Grading Adjoint Logic

We introduce a new logic that combines Adjoint Logic with Graded Necessi...
07/15/2019

Time-Stamped Claim Logic

The main objective of this paper is to define a logic for reasoning abou...
04/11/2023

Canonicity in Modal Lambda Calculus

In this paper we investigate the Curry-Howard-Lambek correspondence for ...
11/08/2018

Applying Distributional Compositional Categorical Models of Meaning to Language Translation

The aim of this paper is twofold: first we will use vector space distrib...
06/18/2014

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture)

The semantics of determiner phrases, be they definite de- scriptions, in...
11/06/2018

A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties

This paper is the first thorough investigation into the coarsest notion ...