Found 99 Documents (Results 1–99)

100
MathJax

Complete trace models of state and control. (English)Zbl 1473.68037

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 348-374 (2021).
MSC:  68N15 68Q55
Full Text:

Full Text:

Full Text:

Programs using syntax with first-class binders. (English)Zbl 1485.68064

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 504-529 (2017).
MSC:  68N30 68N15 68N18
Full Text:

Semantics of higher-order quantum computation via geometry of interaction. (English)Zbl 1422.68161

MSC:  68Q55 03B70 18C20 18C50 68Q05 81P68
Full Text:

Unboundedness and downward closures of higher-order pushdown automata. (English)Zbl 1347.68205

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 151-163 (2016).
Full Text:

Temporal verification of higher-order functional programs. (English)Zbl 1347.68233

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 57-68 (2016).
MSC:  68Q60 68N18 68Q45
Full Text:

Incorporating quotation and evaluation into Church’s type theory: syntax and semantics. (English)Zbl 1344.68204

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 83-98 (2016).
MSC:  68T15 03B15 68N15
Full Text:

A model of guarded recursion with clock synchronisation. (English)Zbl 1351.68057

Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 83-101, electronic only (2015).
MSC:  68N18 03B15 03B70 18C50 68N30 68Q55
Full Text:

Unifying classical and intuitionistic logics for computational control. (English)Zbl 1367.03058

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 283-292 (2013).
MSC:  03B70 03B05 03B15 03B20 68N15
Full Text:

Model checking and functional program transformations. (English)Zbl 1359.68044

Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 115-126 (2013).
MSC:  68N18 68Q45 68Q60
Full Text:

Using circular programs for higher-order syntax (functional pearl). (English)Zbl 1323.68093

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 257-262 (2013).
MSC:  68N18
Full Text:

System $$\mathrm F _{i }$$. A higher-order polymorphic $$\lambda$$-calculus with erasable term-indices. (English)Zbl 1381.68044

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, 15-30 (2013).
Full Text:

Modular bisimulation theory for computations and values. (English)Zbl 1260.68261

Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 97-112 (2013).
MSC:  68Q85 68N30 68Q55
Full Text:

Programming with binders and indexed data-types. (English)Zbl 1321.68141

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 413-424 (2012).
MSC:  68N18 68N15 68T15
Full Text:

Canonicity for 2-dimensional type theory. (English)Zbl 1321.03049

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 337-348 (2012).
MSC:  03B70 03B15 68N15 68Q55
Full Text:

The marriage of bisimulations and Kripke logical relations. (English)Zbl 1321.68198

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 59-72 (2012).
Full Text:

Introspective pushdown analysis of higher-order programs. (English)Zbl 1291.68117

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, 177-188 (2012).
MSC:  68N18
Full Text:

A syntactical approach to weak omega-groupoids. (English)Zbl 1252.68058

Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 16-30, electronic only (2012).
MSC:  68N18 03B15 18C50 18D05
Full Text:

Systematic abstraction of abstract machines. (English)Zbl 1252.68123

MSC:  68Q05 68N15 68N18
Full Text:

Complete monitors for behavioral contracts. (English)Zbl 1352.68031

Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 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-28868-5/pbk). Lecture Notes in Computer Science 7211, 214-233 (2012).
Full Text:

Programming with higher-order logic. (English)Zbl 1267.68014

Cambridge: Cambridge University Press (ISBN 978-0-521-87940-8/hbk; 978-1-139-51212-1/ebook). xiii, 306 p. (2012).
Full Text:

Capsules and closures. (English)Zbl 1342.68088

Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 191-213 (2011).
Full Text:

Temporal higher-order contracts. (English)Zbl 1323.68068

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 176-188 (2011).
MSC:  68N15 68N18
Full Text:

Idealized coinductive type systems for imperative object-oriented programs. (English)Zbl 1220.68047

MSC:  68N19 03B70 03B15
Full Text:

Full Text:

A fresh look at programming with names and binders. (English)Zbl 1323.68082

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, 217-228 (2010).
MSC:  68N15 68N18
Full Text:

MSC:  68N18
Full Text:

Full Text:

Extending the loop language with higher-order procedural variables. (English)Zbl 1351.68048

MSC:  68N15 03B70 68N18
Full Text:

Fighting bit rot with types (Experience report: Scala collections). (English)Zbl 1248.68158

Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 427-451, electronic only (2009).
MSC:  68N99 68N15
Full Text:

Higher-order components for grid programming. Making grids more usable. (English)Zbl 1179.68015

Berlin: Springer (ISBN 978-3-642-00840-5/hbk; 978-3-642-00841-2/ebook). xiii, 186 p. (2009).
Full Text:

A type-preserving compiler in Haskell. (English)Zbl 1323.68187

Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 75-86 (2008).
Full Text:

Focusing and higher-order abstract syntax. (English)Zbl 1295.68071

Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 359-369 (2008).
MSC:  68N18 03B70 68N15 68T15
Full Text:

On a fully abstract model for a quantum linear functional language (extended abstract). (English)Zbl 1279.68046

Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 123-137 (2008).
MSC:  68N18 68N15 81P68
Full Text:

Type-safe higher-order channels in ML-like languages. (English)Zbl 1291.68128

Proceedings of the 12th ACM SIGPLAN international conference on functional programming, ICFP ’07, Freiburg, Germany, October 1–3, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-815-2). ACM SIGPLAN Notices 42, No. 9, 191-202 (2007).
MSC:  68N18 68N15 68Q85
Full Text:

Type-safe code transformations in Haskell. (English)Zbl 1277.68049

Stump, Aron (ed.) et al., Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 7, 23-39 (2007).
MSC:  68N18 68N15 68Q60
Full Text:

Model checking via $$\Gamma$$CFA. (English)Zbl 1132.68475

Cook, Byron (ed.) et al., Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14–16, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69735-0/pbk). Lecture Notes in Computer Science 4349, 59-73 (2007).
MSC:  68Q60 68N18
Full Text:

Analyzing the environment structure of higher-order languages using frame strings. (English)Zbl 1111.68019

MSC:  68N18 68N15
Full Text:

Small bisimulations for reasoning about higher-order imperative programs. (English)Zbl 1370.68048

Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 141-152 (2006).
MSC:  68N18 68Q55
Full Text:

Mechanized meta-reasoning using a hybrid HOAS/de Bruijn representation and reflection. (English)Zbl 1321.68194

Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 172-183 (2006).
MSC:  68N30 68N15
Full Text:

A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems. (English)Zbl 1185.68151

Hagiya, Masami (ed.) et al., Functional and logic programming. 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24–26, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33438-6/pbk). Lecture Notes in Computer Science 3945, 146-162 (2006).
MSC:  68N17 68N18
Full Text:

Consistency of the theory of contexts. (English)Zbl 1092.68022

MSC:  68N18 03B15 03B40 18A25 18C50
Full Text:

The Kell calculus: A family of higher-order distributed process calculi. (English)Zbl 1111.68547

Priami, Corrado (ed.) et al., Global computing. IST/FET international workshop, GC 2004, Rovereto, Italy, March 9–12, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-24101-9/pbk). Lecture Notes in Computer Science 3267, 146-178 (2005).
MSC:  68Q85
Full Text:

MSC:  68N20
Full Text:

Full Text:

The complexity of translating logic to finite automata. (English)Zbl 1021.03031

Grädel, Erich (ed.) et al., Automata, logics, and infinite games. A guide to current research. Berlin: Springer. Lect. Notes Comput. Sci. 2500, 231-238, 365-376 (2002).
MSC:  03D05 68N17 68Q45 03B15 03B25
Full Text:

Monadic encapsulation of effects: A revised approach. (Extended version). (English)Zbl 1037.68023

MSC:  68N15 68N18
Full Text:

Full Text:

Full Text:

Proof-search in type-theoretic languages: An introduction. (English)Zbl 0952.03006

MSC:  03B35 03B15 03F03 68N18 03B70
Full Text:

Object calculi in linear logic. (English)Zbl 0955.68025

MSC:  68N19 03B70 68N17
Full Text:

Full Text:

Definitional interpreters for higher-order programming languages. (English)Zbl 0934.68034

MSC:  68N15 68Q55
Full Text:

A type-based escape analysis for functional languages. (English)Zbl 0917.68037

MSC:  68N15 03B70 03B40
Full Text:

An axiomatic system of parametricity. (English)Zbl 0949.03031

MSC:  03B70 68N15 03B15

Extensional constructs in intensional type theory. (English)Zbl 1411.03001

Distinguished Dissertations. London: Springer; Edinburgh: Univ. Edinburgh, Laboratory for Foundations of Computer Science (LFCS) (Diss. 1996) (ISBN 978-1-4471-1243-3/pbk; 978-1-4471-0963-1/ebook). xii, 214 p. (1997).
MSC:  03-02 03B15 03B70 68N15 68Q55
Full Text:

MSC:  68N15
Full Text:

Flow analysis of typed higher-order programs. Rev. version. (English)Zbl 0891.68025

Copenhagen: Univ. of Copenhagen, xii, 243 p. (1997).
MSC:  68N99 68-02 68N15

Extending ML with semi-explicit higher-order polymorphism. (English)Zbl 0885.03032

Abadi, Martín (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 20-46 (1997).
MSC:  03B70 68N15

MSC:  68N15
Full Text:

A theory of finite maps. (English)Zbl 1063.68646

Schubert, E. Thomas (ed.) et al., Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings. Berlin: Springer-Verlag (ISBN 3-540-60275-5). Lect. Notes Comput. Sci. 971, 122-137 (1995).
MSC:  68T15 03B35 03B15 68Q55 68Q60 68N15

Linear types for higher order processes with first class directed channels. (English)Zbl 0910.68034

Corradini, Andrea (ed.) et al., Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA ’95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 2, 8 p. (1995).
MSC:  68N15 68Q55 68Q42
Full Text:

A unified approach to type theory through a refined $$\lambda$$-calculus. (English)Zbl 0874.03014

MSC:  03B40 03B15 68N15
Full Text:

The complexity of type inference for higher-order typed lambda calculi. (English)Zbl 0827.03005

MSC:  03B40 03B15 03D15 68N15 68Q25
Full Text:

The structure of typed programming languages. (English)Zbl 0834.68004

MIT Press Series in the Foundations of Computing. Cambridge, MA: MIT Press. xvi, 367 p. (1994).
MSC:  68N15 03B40 03B15 68-01

From meta-level tactics to object-level programs. (English)Zbl 0801.03011

Johnson, Jeffrey (ed.) et al., Artificial intelligence in mathematics. Based on the proceedings of a conference, organized by The Institute of Mathematics and its Applications hosted by the University of Strathclyde, Glasgow, GB, and the Turing Institute in April 1991. Oxford: Clarendon Press. Inst. Math. Appl. Conf. Ser., New Ser. 51, 135-146 (1994).
MSC:  03B35 68T15 68N15 03F35

Singleton, union, and intersection types for program extraction. (English)Zbl 0804.68091

MSC:  68Q60 68N15 03B40 03B15
Full Text:

On negation in HiLog. (English)Zbl 0803.68016

MSC:  68N17 68T27 68Q55
Full Text:

A co-induction principle for recursively defined domains. (English)Zbl 0795.68129

MSC:  68Q55 06B35
Full Text:

Extended calculus of constructions as a specification language. (English)Zbl 0793.68019

Bird, Richard S. (ed.) et al., Mathematics of program construction. 2nd international conference, Oxford, UK, June 29 - July 3, 1992. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 669, 1 (1993).
MSC:  68N15 03B15 68Q60

Lazy theories of operations and types. (English)Zbl 0797.68109

MSC:  68Q60 68N15 03B40 03E45 03B15
Full Text:

An “executable” impredicative semantics for the Ada configuration. (English)Zbl 0771.68082

MSC:  68Q55 68N15 03B15 03B40
Full Text:

Full Text:

The extended calculus of constructions (ECC) with inductive types. (English)Zbl 0784.03009

MSC:  03B15 68N15
Full Text:

A formalism for the specification of essentially-algebraic structures in 2-categories. (English)Zbl 0754.18006

MSC:  18D05 68Q55
Full Text:

Semantic interpretation as higher-order deduction. (English)Zbl 0797.03024

Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 78-96 (1991).
MSC:  03B65 68N17

Retractions of dI-domains as a model for Type:Type. (English)Zbl 0728.68036

MSC:  68N15 03B15
Full Text:

Introducing data types in intuitionistic type theory. (English)Zbl 0742.68007

MSC:  68N15 03B15
Full Text:

Type checking with universes. (English)Zbl 0737.68013

MSC:  68N15 68N01 03B15
Full Text:

Proof normalization with nonstandard objects. (English)Zbl 0736.03020

MSC:  03F05 68N15 03B35 03H15 03F35 68T15
Full Text:

Subtyping can have a simple semantics. (English)Zbl 0758.68042

MSC:  68Q55 68N15 03B15
Full Text:

The semantics of second-order lambda calculus. (English)Zbl 0714.68052

Reviewer: P.Materna
MSC:  68Q55 03B15 68N15
Full Text:

A characterization of lambda definable tree operations. (English)Zbl 0705.68029

MSC:  68N15 03B15 03B40 68P05
Full Text:

Constructive mathematics and computer-assisted reasoning systems. (English)Zbl 0788.68129

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 43-52 (1990).
MSC:  68T15 68W30 03F65 03B35

Equality in lazy computation systems. (English)Zbl 0716.68065

Logic in computer science, Proc. 4th Annual Symp., Pacific Grove/CA (USA) 1989, 198-203 (1989).
MSC:  68Q60 68N15 03F35 68Q05 03B40

A constructive set theory for program development. (English)Zbl 0701.03031

Foundations of software technology and theoretical computer science, Proc. 8th Conf., Pune/India 1988, Lect. Notes Comput. Sci. 338, 329-347 (1988).
Reviewer: J.Šindelář
MSC:  03F35 68N01 03B40

Types and polymorphism in programming languages. (Italian)Zbl 0666.68009

Atti degli incontri di logica matematica, Vol. 3, Siena & Padova/Italia 1985/86, 233-281 (1987).
Reviewer: A.Pettorossi
MSC:  68N01 68Q60 03F35

Higher-order arrays and stacks in programming. An application of complexity theory to logics of programs. (English)Zbl 0643.68012

Mathematical foundations of computer science, Proc. 12th Symp., Bratislava/Czech. 1986, Lect. Notes Comput. Sci. 233, 177-198 (1986).
MSC:  68P05 68Q25 03B70

A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction. (English)Zbl 0591.68036

MSC:  68Q65 68Q60 03Fxx 03B35 03B15 03B40 03F55 68T15 00A15
Full Text:

Transformations and reduction strategies for typed lambda expressions. (English)Zbl 0555.68007

Reviewer: J.Zlatuska
MSC:  68Q60 03B40 68Q65 68Q05 68Q25
Full Text:

The type theory of PL/CV3. (English)Zbl 0522.68020

MSC:  68Q60 68N01 68Q65 03B15 03B40
Full Text:

The insensitivity theorem for nonreducing reflexive types. (English)Zbl 0537.68035

Reviewer: N.Curteanu
MSC:  68Q65 68Q60 03D65 03B40 03D55 03B15
Full Text:

Constructive mathematics as a programming logic. I: Some principles of theory. (English)Zbl 0535.68009

Foundations of computation theory, Proc. int. FCT-Conf., Borgholm/Swed. 1983, Lect. Notes Comput. Sci. 158, 64-77 (1983).
MSC:  68Q65 03F65 03B40 03B15 68N01

all top 5

all top 5

all top 3

all top 3