Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders von Copello, Ernesto, Szasz, Nora, Tasistro, Álvaro

Volltext

Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution von Copes, Martín, Szasz, Nora, Tasistro, Álvaro

Volltext

Reduction Strategies for Program Extraction von Fernandez, Maribel, Mackie, Ian, Severi, Paula, Szasz, Nora

Volltext

Mechanical Regulation of Mitogen-activated Protein Kinase Signaling in Articular Cartilage von Fanning, Paul J., Emkey, Gregory, Smith, Robert J., Grodzinsky, Alan J., Szasz, Nora, Trippel, Stephen B.

Volltext

Institution-based foundations for verification in the context of model-driven engineering von Calegari, Daniel, Szasz, Nora

Volltext

Formal metatheory of the Lambda calculus using Stoughton's substitution von Copello, Ernesto, Szasz, Nora, Tasistro, Álvaro

Volltext

Heterogeneous verification in the context of model driven engineering von Calegari, Daniel, Mossakowski, Till, Szasz, Nora

Volltext

Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention von Copello, Ernesto, Szasz, Nora, Tasistro, Álvaro

Volltext

Institutionalising UML 2.0 state machines von Calegari, Daniel, Szasz, Nora

Volltext

Automatization of the Instantiation Process for the Behavior of Software Product Lines von Gonzalez, Ariel, Luna, Carlos, Zorzan, Fabio, Szasz, Nora

Volltext

Institution-Based Semantics for MOF and QVT-Relations von Calegari, Daniel, Szasz, Nora

Volltext

Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda von Urciuoli, Sebastián, Tasistro, Álvaro, Szasz, Nora

Volltext

Model-Driven Engineering in the Heterogeneous Tool Set von Calegari, Daniel, Mossakowski, Till, Szasz, Nora

Volltext

Transport and binding of insulin-like growth factor I through articular cartilage von Garcia, A.Minerva, Szasz, Nora, Trippel, Stephen B, Morales, Teresa I, Grodzinsky, Alan J, Frank, Eliot H

Volltext

Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory von Copello, Ernesto, Szasz, Nora, Tasistro, Álvaro

Volltext

A Type-Theoretic Framework for Certified Model Transformations von Calegari, Daniel, Luna, Carlos, Szasz, Nora, Tasistro, Álvaro

Volltext

Verification of Model Transformations von Calegari, Daniel, Szasz, Nora

Volltext

Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution von Copes, Martín, Szasz, Nora, Tasistro, Álvaro

Volltext

Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders von Copello, Ernesto, Szasz, Nora, Tasistro, Álvaro

Volltext

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory von Copello, Ernesto, Tasistro, Álvaro, Szasz, Nora, Bove, Ana, Fernández, Maribel

Volltext