“Formulae-as-types”的意思、由来-开放百科全书

词条	Formulae-as-types
释义	SeeCurry–Howard correspondence
随便看	Members of the European Parliament for the Netherlands 2004-2009 Members of the European Parliament for the Netherlands 2009-2014 Members of the European Parliament for the United Kingdom 1973-1979 Members of the European Parliament for the United Kingdom 1979-1984 Members of the European Parliament for the United Kingdom 1984-1989 Members of the European Parliament for the United Kingdom 1989-1994 Members of the European Parliament for the United Kingdom 1994-1999 Members of the European Parliament for the United Kingdom 1999-2004 Members of the European Parliament for the United Kingdom 2004-2009 Members of the European Parliament for the United Kingdom 2009-2014 Members of the European Union Members of the Faculty of Advocates Members of The Fall Members of the first Knesset Members of the Global Geoparks Network Members of the Greek Parliament, 2007- Members of the Greek Parliament, 2007-2009 Members of the IIHF Hall of Fame Members of the Legion of Super Heroes Members of the Legislative Council of Hong Kong (2008 - 2012) Members of the Legislative Council of Hong Kong (2008 – 2012) Members of the Lok Sabha from Bihar Members of the National Lacrosse Hall of Fame Members of the National Parliament of East Timor, 2001-2007 Members of the National Parliament of Papua New Guinea, 2002-2007

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。