:
Peptides are considered to be appropriate tools in various biological fields. They can be
primarily used for the rational design of bioactive molecules. They can act as ligands in the development
of targeted therapeutics as well as diagnostics, can be used in the design of vaccines or can be
employed in agriculture. Peptides can be classified in two broad structural classes: linear and cyclic
peptides. Monocyclic peptides are a class of polypeptides with one macrocyclic ring that bears advantages,
such as more selective binding and uptake by the target receptor, as well as higher potency
and stability compared to linear types. This paper provides an overview of the categories, synthesis
methods and various applications of cyclic peptides. The various applications of cyclic peptides include
their use as pro-apoptotic and anti-microbial agents, their application as targeting ligands in drug
delivery and diagnostic agents, as well as agricultural and therapeutics applications that are elaborated
and discussed in this paper.
Deriving Distributive Laws for Graded Linear Types
