Вы здесь

Главная

теория типов

Связанные издания:

Computer Science Logic: Proc./22nd International Workshop, CSL 2008. 17th Annual Conference of the EACSL. Bertinoro, Italy, September 2008
ECOOP 2006 - Object-Oriented Programming: Proc./20th European Conference. Nantes, France, July 2006
Foundations of Software Science and Computational Structures: Proc./23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Foundations of Software Science and Computation Structures: Proc./18th International Conference, FOSSACS 2015 Held as Part of the ETAPS 2015, London, UK, April 2015
Foundations of Software Science and Computation Structures: Proc./24th International Conference, FOSSACS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Functional and Logic Programming: Proc./10th International Symposium, FLOPS 2010, Sendai, Japan, April 2010
Functional and Logic Programming: Proc./12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 2014
Functional and Logic Programming: Proc./8th International Symposium, FLOPS 2006. Fuji-Susono, Japan, April 2006
Fundamentals of Software Engineering: Revised Selected Papers/4th IPM International Conference, FSEN 2011, Tehran, Iran, April 2011
Generic and Indexed Programming: Revised Lectures/ International Spring School, SSGIP 2010, Oxford, UK, March 2010
Implementing and Automating Basic Number Theory in MetaPRL Proof Assistent
Interactive Theorem Proving: Proc./8th International Conference, ITP 2017, Brasilia, Brazil, Septeber 2017
Language Engineering and Rigorous Software Development: Recides Tutorial Lectires/ International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February/March 2008
Logical Aspects of Computational Linguistics: Proc./8th Interbational Conference, LACL 2014, Toulouse, France, June 2014
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2018, Deerfield Beach,FL,USA, January 2018
Logic and Its Applications: Proc./6th Indian Conference, ICLA 2015, Mumbai, India, January 2015
Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010
Naive Computational Type Theory
Rewriting and Typed Lambda Calculi: Proc./Joint International Conference, RTA-TLCA 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Software Engineering and Formal Methods: Proc./16th International Conference, SEFM 2018 Held as Part of STAF 2018, Toulouse, France, June 2018
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 2013
Theorem Proving in Higher Order Logics: Proc./20th International Conference, TPHOLs 2007. Kaiserslautern, Germany, September 2007
Theoretical Computer Science: Proc./8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 2014
Topics in Theoretical Computer Science: Proc./3rd IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 2020
Typed Lambda Calculi and Applications: Proc./11th International Conference, TLCA 2013, Eindhoven, THe Netherlands, June 2013
Types for Proofs and Programs: Revised Selected Papers/ International Conference, TYPES 2008, Toronto, Italy, March 2008
Types for Proofs and Programs: Revised Selected Papers/International Workshop, TYPES 2006. Nottingham, UK, April 2006
Суперкомпиляция для теории типов Мартина-Лефа