Closure under alpha-conversion (Q6083699): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/3-540-58085-9_82 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1606543423 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Explicit substitutions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4281462 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to generalized type systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theoretical Pearls:<i>Representing ‘undefined’ in lambda calculus</i> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4012882 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5667469 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3793765 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4939698 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A framework for defining logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Perspective in Theoretical Computer Science / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3211296 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4281480 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Typing in pure type systems / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:22, 21 August 2024
scientific article; zbMATH DE number 7774600
Language | Label | Description | Also known as |
---|---|---|---|
English | Closure under alpha-conversion |
scientific article; zbMATH DE number 7774600 |
Statements
Closure under alpha-conversion (English)
0 references
8 December 2023
0 references