A meta lambda calculus with cross-level computation
type: Item
instance of: scholarly article
zbMATH Open document ID: 1345.68078
DOI: 10.1145/2676726.2676976
author: Kazunori Tobisawa
published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
publication date: 2016-09-29T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 6631314
zbMATH Keywords: dynamic binding
zbMATH Keywords: lambda calculus
zbMATH Keywords: metavariables
zbMATH Keywords: textual substitution
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1145/2676726.2676976
OpenAlex ID: W2052351392
title: A meta lambda calculus with cross-level computation
description: scientific article; zbMATH DE number 6631314