×

Found 151 Documents (Results 1–100)

100
MathJax

Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure. (English) Zbl 07299486

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). 425-439 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

On multi-index filtrations associated to Weierstraß semigroups. (English) Zbl 1461.14044

Barucci, Valentina (ed.) et al., Numerical semigroups. Proceedings of the INdAM international meeting on numerical semigroups, IMNS 2018, Cortona, Italy, September 3–7, 2018. Cham: Springer. Springer INdAM Ser. 40, 231-258 (2020).
MSC:  14H55 20Mxx
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Deforming nonnormal isolated surface singularities and constructing threefolds with \(\mathbb{P}^{1}\) as exceptional set. (English) Zbl 1373.32021

Decker, Wolfram (ed.) et al., Singularities and computer algebra. Festschrift for Gert-Martin Greuel on the occasion of his 70th birthday. Based on the conference, Lambrecht (Pfalz), Germany, June 2015. Cham: Springer (ISBN 978-3-319-28828-4/hbk; 978-3-319-28829-1/ebook). 329-351 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Localised nonlinear modes in the \(PT\)-symmetric double-delta well Gross-Pitaevskii equation. (English) Zbl 1402.81125

Bagarello, Fabio (ed.) et al., Non-Hermitian Hamiltonians in quantum physics. Selected contributions from the 15th international conference on non-Hermitian Hamiltonians in quantum physics, Palermo, Italy, May 18–23, 2015. Cham: Springer (ISBN 978-3-319-31354-2/hbk; 978-3-319-31356-6/ebook). Springer Proceedings in Physics 184, 123-142 (2016).
MSC:  81Q05 35Q55 81R05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Normalisation by random descent. (English) Zbl 1387.68151

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 32, 18 p. (2016).
MSC:  68Q42 03B40 68N30
PDF BibTeX XML Cite
Full Text: DOI

Normalisation by evaluation for dependent types. (English) Zbl 1387.68060

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 6, 16 p. (2016).
MSC:  68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI

Fundamentals of stability theory. Reprint of the 1988 original published by Springer. (English) Zbl 1365.03003

Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16809-1/hbk; 978-1-316-71703-5/ebook). xiii, 447 p. (2016).
MSC:  03-02 03C45
PDF BibTeX XML Cite
Full Text: DOI

Unnesting of copatterns. (English) Zbl 1416.68048

Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 31-45 (2014).
MSC:  68N18 68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Proving strong normalisation via non-deterministic translations into Klop’s extended lambda-calculus. (English) Zbl 1356.03059

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 395-414 (2013).
MSC:  03B40 03F05
PDF BibTeX XML Cite
Full Text: DOI

The structure of interaction. (English) Zbl 1356.68063

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 316-331 (2013).
MSC:  68Q05 03F52 68Q10
PDF BibTeX XML Cite
Full Text: DOI

A type-checking algorithm for Martin-Löf type theory with subtyping based on normalisation by evaluation. (English) Zbl 1273.03106

Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38945-0/pbk). Lecture Notes in Computer Science 7941, 140-155 (2013).
MSC:  03B70 03F55
PDF BibTeX XML Cite
Full Text: DOI

Meaningless sets in infinitary combinatory logic. (English) Zbl 1437.03053

Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 288-304 (2012).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

Pure type systems with corecursion on streams, from finite to infinitary normalisation. (English) Zbl 1291.68131

Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 141-152 (2012).
MSC:  68N18 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Partial order infinitary term rewriting and Böhm trees. (English) Zbl 1236.68122

Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 67-84, electronic only (2010).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI Link

Type theory should eat itself. (English) Zbl 1337.68057

Abel, Andreas (ed.) et al., Proceedings of the 3rd international workshop on logical frameworks and metalanguages: theory and practice (LFMTP 2008), Pittsburgh, PA, USA, June 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 228, 21-36 (2009).
MSC:  68N18 68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI

A polymorphic type system for the lambda-calculus with constructors. (English) Zbl 1218.03018

Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 234-248 (2009).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

Coalgebraising subsequential transducers. (English) Zbl 1279.18002

Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 109-129 (2008).
MSC:  18B20 68Q70
PDF BibTeX XML Cite
Full Text: DOI

An algebra of pure quantum programming. (English) Zbl 1277.68053

Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 23-47 (2007).
PDF BibTeX XML Cite
Full Text: DOI arXiv

A behavioural model for Klop’s calculus. (English) Zbl 1276.03015

Corradini, Flavio (ed.) et al., Proceedings of the workshop on logic, models and computer science (LMCS 2006), Camerino, Italy, April 20–22, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 169, 19-32 (2007).
MSC:  03B40 03F05 68N18
PDF BibTeX XML Cite
Full Text: Link

Refocusing generalised normalisation. (English) Zbl 1150.03336

Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 258-267 (2007).
MSC:  03F05 03B40
PDF BibTeX XML Cite
Full Text: DOI Link

A sequent calculus for type theory. (English) Zbl 1225.03010

Ésik, Zoltán (ed.), Computer science logic. 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45458-8/pbk). Lecture Notes in Computer Science 4207, 441-455 (2006).
MSC:  03B15 03F05
PDF BibTeX XML Cite
Full Text: DOI

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. (English) Zbl 1325.68045

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 64-76 (2004).
MSC:  68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI

Weak convergence of random sums and maximum random sums under nonrandom norming. (English) Zbl 1073.60019

Horvárth, Lajos (ed.) et al., Asymptotic methods in stochastics. Festschrift for Miklós Csörgő. Proceedings of the international conference, held in honour of the work of Miklós Csörgő on the occasion of his 70th birthday, Ottawa, Canada, May 23–25, 2002. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3561-0/hbk). Fields Institute Communications 44, 245-263 (2004).
MSC:  60F05 60G50 60G70
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software