calculiDiagram.tex

\documentclass{article}

\usepackage{tikz}
\usepackage{pgfplots}
\begin{document}

\begin{tikzpicture}
    \begin{axis}[nodes near coords,
					ytick=data, 
					xtick=data,
					width=13cm,
					height=5cm,
					xmin=1,
					xmax=4.5,
					ymin=0.6,
					ymax=3.5,
					xtick={1.3, 2, 3, 4, 5},
					xticklabels={Untyped,Simply typed,Quanfication,Translucency,},
					ytick={0,1,2,3},
					yticklabels={,No subtyping,Subtyped,Dependently typed},
					axis x line = bottom,
					axis y line = left,
]
    \addplot+[mark=none, draw=none, 
        point meta=explicit symbolic ] coordinates {
        (1.3,1) [$\lambda$] 
    	(2,1) [$STLC$] 
    	(3,1) [$\lambda$ with subtyping]
    	(2,2) [System $F$]
    	(3,2) [$F_{<:}$]
    	(4,2) [$F_{<:>}$]
    	(2,3) [System $D$]
    	(3,3) [$D_{<:}$]
    	(4,3) [$D_{<:>}$]
    	};
    \end{axis}
    \end{tikzpicture}
    \end{document}