ALL ASU ECSU ECU FSU NCCU UNCA UNCC UNCG UNCP UNCW WCU       

 

Browse All

• Titles
• Author By Last Name
• Keywords
• Departments

Theses & Dissertations

• Titles
• Author By Last Name
• Advisor By Last Name
• Keywords
• Type
• Degrees By Discipline

Submissions

• Articles, Chapters, & other finished products

Browse by Keywords - L

Select the first letter of the keywords to browse

• OTHER
• #
• '
• -
• .
• :
• 1
• 2
• 3
• 4
• 5
• 7
• 9
• A
• B
• C
• D
• E
• É
• F
• G
• H
• I
• Î
• J
• K
• L
• M
• N
• O
• P
• Q
• R
• S
• ß
• T
• U
• V
• W
• X
• Y
• Z

There are 3 record/s using the keyword/s: logical relations.

Title	Date	Creator	Publication Type	Institution
Bifibrational Functorial Semantics For Parametric Polymorphism	2015	Johann, Patricia	Faculty	Computer Science, ASU
Free Theorems In The Presence Of seq	2004	Johann, Patricia	Faculty	Computer Science, ASU
The Impact Of seq On Free Theorems-Based Program Transformations	2006	Johann, Patricia	Faculty	Computer Science, ASU

• Help
• About Us

Maintained by ERIT, University Libraries, UNCG