LF_{P}: a logical framework with external predicates
Authors:

Furio Honsell

Università di Udine, Udine, Italy


Marina Lenisa

Università di Udine, Udine, Italy


Luigi Liquori

Institut National de Recherche en Informatique et en Automatique, Sophia Antipolis Méditerranée, France


Petar Maksimovic

Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia


Ivan Scagnetto

Università di Udine, Udine, Italy



2012 Article

Bibliometrics

· Citation Count: 2
· Downloads (cumulative): 66
· Downloads (12 Months): 7
· Downloads (6 Weeks): 3


Published in:


· Proceeding 
LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and metalanguages, theory and practice

Pages 1322
Copenhagen, Denmark — September 09  09, 2012
ACM New York, NY, USA ©2012
table of contents
ISBN: 9781450315784
doi>10.1145/2364406.2364409


powered by

