Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Author
is
Huertas, A.,
[Clear All Filters]
2014
C. Areces
,
P. Blackburn
,
Huertas, A.
, and
M. Manzano
, “
Completeness in Hybrid Type Theory
”,
Journal of Philosophical Logic
, vol. 43, p. 209–238, 2014.
Google Scholar
BibTex
Main menu
Home
Work Packages
Partners & People
Announcements
Publications
Deliverables
Contents
Home
Work Packages
Partners & People
Announcements
Publications
Authors
WP1
WP2
WP3
WP4
WP5
Deliverables