A framework for studying substitution

Nestra Härmel: A framework for studying substitution. In: Acta cybernetica, (15) 4. pp. 633-652. (2002)

[thumbnail of cybernetica_015_numb_004_633-652.pdf]
Előnézet
Cikk, tanulmány, mű
cybernetica_015_numb_004_633-652.pdf

Letöltés (1MB) | Előnézet

Absztrakt (kivonat)

This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to human intuitive preconception about the phenomena, so that proofs could be deduced from intuitive motivations more directly than in the case of standard approaches. The theory is developed for general multi-sorted term algebras with variable binding. Therefore, the results hold for a wide class of term calculi such as the λ-calculus, first-order predicate logic, the abstract syntax of programming languages etc.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2002
Kötet: 15
Szám: 4
ISSN: 0324-721X
Oldalak: pp. 633-652
Nyelv: angol
Kiadás helye: Szeged
Konferencia neve: Finno-Ugoric Symposium on Programming Languages and Software Tools (7.) (2001) (Szeged)
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/38514/
Kulcsszavak: Számítástechnika, Kibernetika
Megjegyzések: Bibliogr.: 652. p. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2016. okt. 15. 12:25
Utolsó módosítás: 2022. jún. 14. 14:50
URI: http://acta.bibl.u-szeged.hu/id/eprint/12700
Bővebben:
Tétel nézet Tétel nézet