# Lawrence A. Hyland

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2006

Highly Cited

2006

- 21st Annual IEEE Symposium on Logic in Computer…
- 2006

We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by… (More)

Is this relevant?

2004

2004

- 2004

The neglect of acknowledgements in the EAP literature is perhaps surprising given their importance in the scholarly communication… (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- 2003

Second language writing / Ken Hyland. p. cm. – (Cambridge language education) Includes bibliographical references and index… (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- 2003

We reexamine the foundations of linear logic, developing a system of natural deduction following Martin-Löf’s separation of… (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- TLCA
- 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

- CSL
- 1994

Intuitionistic linear logic regains the expressive power of intuitionistic logic through the ! (`of course') modality. Benton… (More)

Is this relevant?

1993

1993

- Theor. Comput. Sci.
- 1993

Jacobs, B., Comprehension categories and the semantics of type dependency, Theoretical Computer Science 107 (1993) 169-207. A… (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Inf. Comput.
- 1991

The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified… (More)

Is this relevant?

Highly Cited

1989

Highly Cited

1989

- LICS
- 1989

The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses… (More)

Is this relevant?

Highly Cited

1974

Highly Cited

1974

- Proceedings of the National Academy of Sciences…
- 1974

Three exceptional cell lines have been tested for the presence of the Epstein-Barr virus genome by nucleic acid hybridization… (More)

Is this relevant?