Metavariable

#	Item
1	The SmPL Grammar (versionResearch group on Coccinelle June 3, 2016 This document presents the grammar of the SmPL language used by the Coccinelle tool. For the most part, the grammar is written using standard no Add to Reading List Source URL: coccinelle.lip6.fr Language: English Syntax Metalogic Metavariable Functional languages Logical truth Propositional calculus Rule of inference Identifier OCaml Coccinelle Cascading Style Sheets Reserved word
2	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Type theory Matita Calculus of constructions Lambda calculus Recursion Positive-definite kernel Anonymous function Metavariable HindleyMilner type system Type inference Parameter Dependent type
3	Getting picky about how to mention expressions If we want to talk about some particular sentences: i. If Snow falls and Wind blows are sentences, then Snow falls and wind blows is a sentence. The base color for our metal Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2013-10-02 19:56:32 Formal languages Quasi-quotation Metalanguage S2 Rope Quotation mark Metavariable Entailment Logic Metalogic Logical syntax