CCL

Összesen 2 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM094048
035-os BibID:(cikkazonosító)17 (WoS)000439433300004 (Scopus)85055852173
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:An estimation for the lengths of reduction sequences of the lambda mu rho theta-calculus / Péter Battyányi, Karim Nour
Dátum:2018
ISSN:1860-5974
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Megjelenés:Logical Methods in Computer Science. - 14 : 2 (2018), p. 1-35. -
További szerzők:Karim, Nour
Internet cím:DOI
Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM079630
035-os BibID:(cikkazonosító)34 (WoS)000419163000035 (Scopus)85041809580
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi / Péter Battyányi, Karim Nour
Dátum:2017
ISSN:1860-5974
Megjegyzések:In this paper we give an arithmetical proof of the strong normalization of lambda-Sym-Prop of Berardi and Barbanera [1], which can be considered as a formulae-as-types translation of classical propositional logic in natural deduction style. Then we give a translation between the lambda-Sym-Prop-calculus and the lambda-bar-mu-mu-tilde-star-calculus, which is the implicational part of the lambda-bar-mu-mu-tilde-calculus invented by Curien and Herbelin [3] extended with negation. In this paper we adapt the method of David and Nour [4] for proving strong normalization. The novelty in our proof is the notion of zoom-in sequences of redexes, which leads us directly to the proof of the main theorem.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
arithmetical proof
strong normalization
classical logic
zoom-in sequences of redexes
Megjelenés:Logical Methods in Computer Science. - 13 : 3 (2017), p. 1-22. -
További szerzők:Karim, Nour
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1