×

Found 158 Documents (Results 1–100)

The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 1498.03041

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 327-340 (2020).
MSC:  03B40 03B48 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Dependency concepts up to equivalence. (English) Zbl 07533350

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 25, 21 p. (2018).
MSC:  03B60
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic Böhm trees and probabilistic separation. (English) Zbl 1453.03009

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). 649-658 (2018).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI

Refutation of Sallé’s longstanding conjecture. (English) Zbl 1434.03052

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 20, 18 p. (2017).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI

Standardization of a call-by-value lambda-calculus. (English) Zbl 1367.68052

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 211-225 (2015).
MSC:  68N18 03B40
PDFBibTeX XMLCite
Full Text: DOI

Full abstraction for set-based models of the symmetric interaction combinators. (English) Zbl 1352.68187

Birkedal, Lars (ed.), Foundations of software science and computational structures. 15th international conference, FOSSACS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28728-2/pbk). Lecture Notes in Computer Science 7213, 316-330 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Relating two semantics of locally scoped names. (English) Zbl 1247.68046

Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 396-411, electronic only (2011).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

The impact of higher-order state and control effects on local relational reasoning. (English) Zbl 1323.68203

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 143-156 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Formal certification of code-based cryptographic proofs. (English) Zbl 1315.68081

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 90-101 (2009).
MSC:  68N30 03B70 68T15 94A60
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic barbed congruence. (English) Zbl 1279.68255

Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 185-203 (2007).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Observational equivalence for the interaction combinators and internal separation. (English) Zbl 1278.68219

Mackie, Ian (ed.), Proceedings of the 3rd international workshop on term graph rewriting (TERMGRAPH 2006), Vienna, Austria, April 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 1, 113-137 (2007).
PDFBibTeX XMLCite
Full Text: DOI

The separation theorem for differential interaction nets. (English) Zbl 1137.03325

Dershowitz, Nachum (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 14th international conference, LPAR 2007, Yerevan, Armenia, October 15–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75558-6/pbk). Lecture Notes in Computer Science 4790. Lecture Notes in Artificial Intelligence, 393-407 (2007).
MSC:  03F52 03F07
PDFBibTeX XMLCite
Full Text: DOI

The search for quantum gravity effects. (English) Zbl 1120.83021

Fauser, Bertfried (ed.) et al., Quantum gravity. Mathematical models and experimental bounds. Papers based on the presentations at the workshop ‘Mathematical and physical aspects of quantum gravity’, Blaubeuren, Germany, July 28th – August 1st, 2005. Basel: Birkhäuser (ISBN 3-7643-7977-4/hbk). 15-39 (2007).
PDFBibTeX XMLCite

On the semantics of the bad-variable constructor in Algol-like languages. (English) Zbl 1337.68053

Brookes, Steven (ed.), Proceedings of the 19th conference on mathematical foundations of programming semantics (MFPS XIX), Montreal, Canada, March 19–22, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 83, 169-186, electronic only (2003).
MSC:  68N15 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Input/output compatibility of reactive systems. (English) Zbl 1019.68616

Aagaard, Mark D. (ed.) et al., Formal methods in computer-aided design. 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2517, 360-377 (2002).
MSC:  68U07 68Q85
PDFBibTeX XMLCite
Full Text: Link

STS: A structural theory of sets. (English) Zbl 0993.03065

Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 1-34 (2001).
MSC:  03E70 03B45
PDFBibTeX XMLCite

Tests of the equivalence principle in space. (English) Zbl 0962.83501

Piran, Tsvi (ed.), The 8th Marcel Grossmann meeting on recent developments in theoretical and experimental general relativity, gravitation and relativistic field theories. Proceedings of the meeting held in Jerusalem, Israel, June 22-27, 1997. In 2 vols. Singapore: World Scientific. 1207-1212 (1999).
MSC:  83B05 83C05
PDFBibTeX XMLCite

Session on experimental tests. (English) Zbl 0962.83502

Piran, Tsvi (ed.), The 8th Marcel Grossmann meeting on recent developments in theoretical and experimental general relativity, gravitation and relativistic field theories. Proceedings of the meeting held in Jerusalem, Israel, June 22-27, 1997. In 2 vols. Singapore: World Scientific. 1167-1170 (1999).
MSC:  83B05 83C05
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software