Lawrence A. Hyland

Known as: Hyland, Lawrence Hyland 
Lawrence A. "Pat" Hyland (August 26, 1897 – November 24, 1989) was an American electrical engineer. He is one of several people credited with major… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
2004
2004
The neglect of acknowledgements in the EAP literature is perhaps surprising given their importance in the scholarly communication… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Second language writing / Ken Hyland. p. cm. – (Cambridge language education) Includes bibliographical references and index… (More)
  • table 1.1
  • figure 1.1
  • figure 1.2
  • figure 1.4
  • figure 1.5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We reexamine the foundations of linear logic, developing a system of natural deduction following Martin-Löf’s separation of… (More)
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1995
Highly Cited
1995
This paper re-addresses the old problem of providing a categorical model for Intuitionistic Linear Logic (ILL). In particular we… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Intuitionistic linear logic regains the expressive power of intuitionistic logic through the ! (`of course') modality. Benton… (More)
Is this relevant?
1993
1993
Jacobs, B., Comprehension categories and the semantics of type dependency, Theoretical Computer Science 107 (1993) 169-207. A… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified… (More)
  • table 1
  • table 2
  • table 3
  • table 5
  • table 6
Is this relevant?
Highly Cited
1989
Highly Cited
1989
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1974
Highly Cited
1974
Three exceptional cell lines have been tested for the presence of the Epstein-Barr virus genome by nucleic acid hybridization… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?