Showing
1 - 11
results of
11
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Margaria, Ines
Search Results - Margaria, Ines
Showing
1 - 11
results of
11
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Retractions in Intersection Types
by
Coppo, Mario
,
Dezani-Ciancaglini, Mariangiola
,
Díaz-Caro, Alejandro
,
Margaria, Ines
,
Zacchi, Maddalena
Published in
Electronic proceedings in theoretical computer science
Get full text
Items that this one cites
Article
Save to List
Saved in:
2
Loading…
On Isomorphism of "Functional" Intersection and Union Types
by
Coppo, Mario
,
Dezani-Ciancaglini, Mariangiola
,
Margaria, Ines
,
Zacchi, Maddalena
Published in
Electronic proceedings in theoretical computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
Isomorphism of intersection and union types
by
COPPO, MARIO
,
DEZANI-CIANCAGLINI, MARIANGIOLA
,
MARGARIA, INES
,
ZACCHI, MADDALENA
Published in
Mathematical structures in computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
4
Loading…
Access control in mobile ambient calculi: A comparative view
by
Margaria, Ines
,
Zacchi, Maddalena
Published in
Theoretical computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
5
Loading…
Access control in mobile ambient calculi : A comparative view: Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca
by
MARGARIA, Ines
,
ZACCHI, Maddalena
Published in
Theoretical computer science
Get full text
Article
Save to List
Saved in:
6
Loading…
Partial and Complete Processes in Multiparty Sessions
by
Coppo, Mario
,
Dezani-Ciancaglini, Mariangiola
,
Margaria, Ines
,
Zacchi, Maddalena
Published in
Electronic notes in theoretical computer science
Get full text
Items that this one cites
Article
Save to List
Saved in:
7
Loading…
Generalized filter models
by
Margaria, Ines
,
Zacchi, Maddalena
Published in
Theoretical computer science
Get full text
Items that this one cites
Article
Save to List
Saved in:
8
Loading…
Principal Typing in a ∀Λ-Discipline
by
MARGARIA, INES
,
ZACCHI, MADDALENA
Published in
Journal of logic and computation
Get full text
Items that cite this one
Article
Save to List
Saved in:
9
Loading…
A Filter Model for Safe Ambients
by
Margaria, Ines
,
Zacchi, Maddalena
Published in
Electronic notes in theoretical computer science
Get full text
Article
Save to List
Saved in:
10
Loading…
Filter models with polymorphic types
by
Jacobs, Bart
,
Margaria, Ines
,
Zacchi, Maddalena
Published in
Theoretical computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
11
Loading…
A characterization of F-complete type assignments
by
Dezani-Ciancaglini, Mariangiola
,
Margaria, Ines
Published in
Theoretical computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
7 results
7
Full Text
11 results
11
Format
Articles
11 results
11
Journal Title
Theoretical Computer Science
5 results
5
Electronic Notes In Theoretical Computer Science
2 results
2
Electronic Proceedings In Theoretical Computer Science
2 results
2
Electronic Proceedings In Theoretical Computer Science, Eptcs
1 results
1
Journal Of Logic And Computation
1 results
1
Mathematical Structures In Computer Science
1 results
1
Subjects
Computer Science
8 results
8
Computer Science, Theory & Methods
8 results
8
Science & Technology
8 results
8
Technology
8 results
8
Applied Sciences
3 results
3
Computer Science; Control Theory; Systems
3 results
3
Exact Sciences And Technology
3 results
3
Theoretical Computing
3 results
3
Λ-Calculus
2 results
2
[Formula Omitted]-Calculus
1 results
1
[Formula Omitted]-Models
1 results
1
Access Control
1 results
1
Ambient Calculus
1 results
1
Approximation Theorem
1 results
1
Authentication
1 results
1
Filter Models
1 results
1
Intersection Types
1 results
1
Intersections
1 results
1
Isomorphism
1 results
1
Language Theory And Syntactical Analysis
1 results
1
Year of Publication
From:
To:
Source
Free E-Journal (出版社公開部分のみ)
9 results
9
Bacon - Elsevier - Global Sciencedirect-Openaccess
7 results
7
Elsevier Sciencedirect Journals
7 results
7
Sciencedirect Freedom Collection
5 results
5
Science Citation Index Expanded (Web Of Science)
5 results
5
Road: Directory Of Open Access Scholarly Resources
4 results
4
Doaj Directory Of Open Access Journals
2 results
2
Cambridge University Press:jisc Collections:full Collection Digital Archives (Stm And Hss) (218 Titles)
1 results
1
Cambridge Journals Online
1 results
1
Oxford University Press:jisc Collections:oxford Journal Archive: Access Period 2024-2025
1 results
1
Cup 剑桥大学出版社过刊(国图购买)
1 results
1
Ieee Xplore All Journals
1 results
1
Oxford Journals Online
1 results
1