Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers /

Na minha lista:

Detalhes bibliográficos
Principais autores:	Altenkirch, Thorsten, McBride, Conor., TYPES 2006
Formato:	Livro
Publicado em:
Assuntos:	Programação (Computadores).
Endereço do item:	https://app.bczm.ufrn.br/home/#/item/101913
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados

Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers /
por: TYPES '99 (1999 : Lökeberg, Sweden), et al.
Publicado em: (2022)

Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers /
por: Giménez, Eduardo, et al.
Publicado em: (2022)

Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /
por: Miculan, Marino., et al.
Publicado em: (2022)

Prática : proofs, types and categories /
por: Hauesler, Edward Hermann., et al.
Publicado em: (2022)

Type theory and formal proof : an introduction /
por: Nederpelt, R. P., et al.
Publicado em: (2022)

Bio-Inspired Computing and Communication First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers /
por: Liò, Pietro, et al.
Publicado em: (2022)

Algorithms and Models for the Web-Graph Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers /
por: Aiello, William, et al.
Publicado em: (2022)

Agents and Peer-to-Peer Computing 5th International Workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /
por: Joseph, Sam, et al.
Publicado em: (2022)

Agent-Oriented Information Systems IV 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers /
por: Kolp, Manuel, et al.
Publicado em: (2022)

Massively Multi-Agent Technology AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers /
por: Jamali, Nadeem., et al.
Publicado em: (2022)

An introduction to mathematical logic and type theory : to truth through proof /
por: Andrews, P. B.
Publicado em: (2022)

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers /
por: Broy, Manfred., et al.
Publicado em: (2022)

Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers /
por: Filipe, Joaquim., et al.
Publicado em: (2022)

Enterprise Information Systems 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers /
por: Manolopoulos, Yannis, et al.
Publicado em: (2022)

Achievements in european research on grid systems CoreGRID Integration Workshop 2006 (Selected Papers) /
por: Gorlatch, Sergei, et al.
Publicado em: (2022)

GeoSensor Networks Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers /
por: Nittel, Silvia., et al.
Publicado em: (2022)

Graph-Theoretic Concepts in Computer Science 34th International Workshop, WG 2008, Durham, UK, June 30 July 2, 2008. Revised Papers /
por: Broersma, Hajo., et al.
Publicado em: (2022)

Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers /
por: Dastani, Mehdi., et al.
Publicado em: (2022)

Categories for types /
por: Crole, Roy L.
Publicado em: (2022)

Von Neummann’s and related scaling laws in rock-paper-scissors-type games
por: Avelino, P. P., et al.
Publicado em: (2020)

Computer type : a designer's guide to computer-generated type /
por: Rogondino, Michael
Publicado em: (2022)

Advanced Web and NetworkTechnologies, and Applications APWeb 2008 International Workshops: BIDM, IWHDM, and DeWeb Shenyang, China, April 26-28, 2008. Revised Selected Papers /
por: Ishikawa, Yoshiharu, et al.
Publicado em: (2022)

Negotiation, Auctions, and Market Engineering International Seminar, Dagstuhl Castle, Germany, November 12-17, 2006, Revised Selected Papers /
por: Gimpel, Henner, et al.
Publicado em: (2022)

Towards Affordance-Based Robot Control International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papers /
por: Rome, Erich, et al.
Publicado em: (2022)

Types and programming languages /
por: Pierce, Benjamin C.
Publicado em: (2022)

Intuitionistic type theory /
por: Martin-Lof, Per., et al.
Publicado em: (2022)

Type-theoretical grammar /
por: Ranta, Aarne.
Publicado em: (2022)

Histological typing of intestinal tumours /
por: Jass, J. R., et al.
Publicado em: (2022)

Un type merveilleux : roman /
por: Arnothy, Christine,
Publicado em: (2022)

Types, tableaus, and Gèodel's God /
por: Fitting, Melvin,
Publicado em: (2022)

Fundamentals of forensic DNA typing /
por: Butler, John M.
Publicado em: (2022)

Abstract data types and algoritms /
por: Azmoodeh, Manoochehr
Publicado em: (2022)

Treatise on intuitionistic type theory /
por: Granström, Johan Georg.
Publicado em: (2022)

Basic simple type theory /
por: Hindley, J. Roger.
Publicado em: (2022)

Categorical logic and type theory /
por: Jacobs, Bart.
Publicado em: (2022)

Typed lambda calculi and applications /
por: Bezem, M., et al.
Publicado em: (2022)

A history of building types /
por: Pevsner, Nikolaus,
Publicado em: (2023)

Reliable Implementation of Real Number Algorithms: Theory and Practice - International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers /
por: Hertling, Peter., et al.
Publicado em: (2022)

Advances in Web Based Learning - ICWL 2007 6th International Conference Edinburgh, UK, August 15-17, 2007 Revised Papers /
por: Leung, Howard, et al.
Publicado em: (2022)

Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings /
por: Schmidt, Renate A., et al.
Publicado em: (2022)