×

Found 87 Documents (Results 1–87)

The duality of computation. (English) Zbl 1321.68146

Proceedings of the 5th ACM SIGPLAN international conference on functional programming, ICFP ’00, Montréal, Canada, September 18–21, 2000. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-202-6). ACM SIGPLAN Notices 35, No. 9, 233-243 (2000).
MSC:  68N18 03B40
PDFBibTeX XMLCite
Full Text: DOI

(Optimal) duplication is not elementary recursive. (English) Zbl 1323.68091

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’00, Boston, MA, USA, January 19–21, 2000. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-125-9). 96-107 (2000).
MSC:  68N18 03B40 03F52
PDFBibTeX XMLCite
Full Text: DOI

Strong normalization of second order symmetric \(\lambda\)-calculus. (English) Zbl 1044.03008

Kapoor, Sanjiv (ed.) et al., FST TCS 2000: Foundations of software technology and theoretical computer science. 20th conference, New Delhi, India, December 13–15, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41413-4). Lect. Notes Comput. Sci. 1974, 442-453 (2000).
MSC:  03B40 68N18
PDFBibTeX XMLCite
Full Text: Link

The fine structure of game lambda models. (English) Zbl 1044.03007

Kapoor, Sanjiv (ed.) et al., FST TCS 2000: Foundations of software technology and theoretical computer science. 20th conference, New Delhi, India, December 13–15, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41413-4). Lect. Notes Comput. Sci. 1974, 429-441 (2000).
MSC:  03B40 68N18
PDFBibTeX XMLCite
Full Text: Link

Combinators and implicative formulas. (Russian) Zbl 1009.03510

Karpenko, A. S. (ed.), Proceedings of the scientific research seminar of the Logic Center of the Institute of Philosophy RAS. 1999-2000. No.XIV. Moskva: Rossijskaya Akademiya Nauk, Institut Filosofii. Tr. Nauchno-Issled. Semin. Log. Tsentra Inst. Filos. RAN. 14, 42-53 (2000).
MSC:  03B40
PDFBibTeX XMLCite

Partially typed terms between Church-style and Curry-style. (English) Zbl 0998.03009

van Leeuwen, Jan (ed.) et al., Theoretical computer science. Exploring new frontiers of theoretical informatics. International conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1872, 505-520 (2000).
MSC:  03B40 68N18
PDFBibTeX XMLCite

Compositional characterizations of \(\lambda\)-terms using intersection types (extended abstract). (English) Zbl 0996.03501

Nielsen, Mogens (ed.) et al., Mathematical foundations of computer science 2000. 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1893, 304-313 (2000).
MSC:  03B40
PDFBibTeX XMLCite

Axiomatizing fully complete models for ML polymorphic types. (English) Zbl 0996.03041

Nielsen, Mogens (ed.) et al., Mathematical foundations of computer science 2000. 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1893, 141-151 (2000).
PDFBibTeX XMLCite

Church’s lambda delta calculus. (English) Zbl 0988.03027

Parigot, Michel (ed.) et al., Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1955, 293-307 (2000).
MSC:  03B40
PDFBibTeX XMLCite

Polymorphic intersection type assignment for rewrite systems with abstraction and \(\beta\)-rule. (English) Zbl 0988.68092

Coquand, Thierry (ed.) et al., Types for proofs and programs. 3rd international workshop, TYPES ’99, Lökeberg, Sweden, June 12-16, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1956, 41-60 (2000).
MSC:  68Q42 03B40
PDFBibTeX XMLCite

A predicative strong normalisation proof for a \(\lambda\)-calculus with interleaving inductive types. (English) Zbl 0988.03029

Coquand, Thierry (ed.) et al., Types for proofs and programs. 3rd international workshop, TYPES ’99, Lökeberg, Sweden, June 12-16, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1956, 21-40 (2000).
MSC:  03B40
PDFBibTeX XMLCite

Disjunctive tautologies as synchronisation schemes. (English) Zbl 0973.03039

Clote, Peter G. (ed.) et al., Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1862, 292-301 (2000).
MSC:  03B70 68Q60 03B15 03B40
PDFBibTeX XMLCite

Subtyping with power types. (English) Zbl 0973.03018

Clote, Peter G. (ed.) et al., Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1862, 156-171 (2000).
MSC:  03B40 68N18
PDFBibTeX XMLCite

A fully complete PER model for ML polymorphic types. (English) Zbl 0973.03015

Clote, Peter G. (ed.) et al., Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1862, 140-155 (2000).
MSC:  03B40 03G30 03F52
PDFBibTeX XMLCite

Standardization and confluence for a lambda calculus with generalized applications. (English) Zbl 0964.03014

Bachmair, Leo (ed.), Rewriting techniques and applications. 11th international conference, RTA 2000, Norwich, GB, July 10-12, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1833, 141-155 (2000).
MSC:  03B40 68Q42
PDFBibTeX XMLCite

Type inference for first-order logic. (English) Zbl 0961.68032

Tiuryn, Jerzy (ed.), Foundations of software science and computation structures. 3rd international conference, FOSSACS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1784, 297-313 (2000).
PDFBibTeX XMLCite

Proof nets and explicit substitutions. (English) Zbl 0955.03064

Tiuryn, Jerzy (ed.), Foundations of software science and computation structures. 3rd international conference, FOSSACS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1784, 63-81 (2000).
PDFBibTeX XMLCite

Derivation and computation. Taking the Curry-Howard correspondence seriously. (English) Zbl 0954.03001

Cambridge Tracts in Theoretical Computer Science. 51. Cambridge: Cambridge University Press. xxv, 384 p. (2000).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

Biographic Reference

all top 3

Software