×

Found 19 Documents (Results 1–19)

Sequence types for hereditary permutators. (English) Zbl 1528.03132

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 33, 15 p. (2019).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI

Every \(\lambda \)-term is meaningful for the infinitary relational model. (English) Zbl 1453.03011

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 899-908 (2018).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

Uniformly distributed sets and sets \(\Lambda(p)\). (Ensembles uniformément répartis et ensembles \(\Lambda(p)\).) (French) Zbl 1010.43007

Choquet, G. (ed.) et al., Séminaire d’initiation à l’analyse. 37ème et 38ème années: 1997/1999. Exposés 1 à 20. Paris: Univ. Pierre et Marie Curie, Publ. Math. Univ. Pierre Marie Curie. 121, 9 p. (2000).
MSC:  43A46 03E15
PDFBibTeX XMLCite

Combining first order algebraic rewriting systems, recursion and extensional lambda calculi. (English) Zbl 1418.68112

Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 462-472 (1994).
MSC:  68Q42 03B40
PDFBibTeX XMLCite
Full Text: DOI

A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object. (English) Zbl 1422.03022

Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 645-656 (1993).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field